Robert Hensing aff2dbbc82 make-options-doc: Make variablelist id configurable ... I've tried XInclude set-xml-id first, but our tooling did not pick up on it.		2022-06-27 17:41:32 +02:00
..
default.nix	make-options-doc: Make variablelist id configurable	2022-06-27 17:41:32 +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	treewide: attempt at markdown option docs	2022-06-12 12:44:38 +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