pennae 6b677d9148 nixos/make-options-doc: disable inline html ... we target not only html, but also manpages. inline html is not helpful for the latter.		2023-01-26 00:38:06 +01:00
..
default.nix	nixos/make-option-docs: wrap md parser+renderer into Converter	2023-01-26 00:38:06 +01:00
generateDoc.py	nixos/make-options-doc: skip re-escaping strings	2023-01-08 08:52:17 +00:00
mergeJSON.py	nixos/make-options-doc: split docbook conversion from mergeJSON	2023-01-26 00:32:56 +01:00
optionsToDocbook.py	nixos/make-options-doc: disable inline html	2023-01-26 00:38:06 +01:00
postprocess-option-descriptions.xsl