pennae af1f07ff03 nixos/make-options-doc: check for manual paths in options.json ... since we no longer use the docbook path the check there will no longer fire. add one to optionsJSON to not lose this functionality.		2023-06-13 16:56:31 +02:00
..
default.nix	nixos/make-options-doc: check for manual paths in options.json	2023-06-13 16:56:31 +02:00
mergeJSON.py	nixos/make-options-doc: split docbook conversion from mergeJSON	2023-01-26 00:32:56 +01:00
postprocess-option-descriptions.xsl