pennae 52b0ad17e3 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.		2022-07-28 23:20:02 +02:00
..
default.nix	nixos/docs: cache mergeJSON md conversion on baseOptionsJSON	2022-07-28 23:20:02 +02:00
generateAsciiDoc.py	nixos/lib/make-options-doc: generate asciidoc/md in derivations	2021-12-06 16:12:30 +01:00
generateCommonMark.py	nixos/lib/make-options-doc: generate asciidoc/md in derivations	2021-12-06 16:12:30 +01:00
mergeJSON.py	nixos/make-options-doc: give MD conversion error locations	2022-07-28 20:03:02 +02:00
options-to-docbook.xsl	make-options-doc: Make variablelist id configurable	2022-06-27 17:41:32 +02:00
optionsJSONtoXML.nix	nixos/lib/make-options-doc: generate options.xml from options.json	2021-12-06 16:12:32 +01:00
postprocess-option-descriptions.xsl
sortXML.py	nix/lib/make-options-doc: remove nix-level sorting	2021-12-06 16:12:32 +01:00