diff options
| author | pennae <github@quasiparticle.net> | 2022-07-28 16:33:10 +0200 |
|---|---|---|
| committer | pennae <github@quasiparticle.net> | 2022-07-28 23:20:02 +0200 |
| commit | 52b0ad17e3727fe0c3ca028787128ede5fb86352 (patch) | |
| tree | 07b107e52586b7293d615865133c04906caf9fa5 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 18be724a5840145866f058dbf3b4c83a85d7b05d (diff) | |
nixos/docs: cache mergeJSON md conversion on baseOptionsJSON
with ever more options being markdown rather than docbook the conversion
time is starting to become a significant factor of doc build time.
luckily we can pre-convert all nixos option docs to MD and cache the
result of this conversion, then merge the already-converted json file
with user option docs. we leave options.json unconverted to keep it as
close to the actual nix code as possible.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions
