pennae 24eb353907 make-options-docs: don't sort the options XML file ... we need the file itself as a dependency for the docbook build, but we don't need it to be properly sorted at the nix level. push the sort out to a python script instead to save eval time. on the machine used to write this `nix-instantiate <nixos/nixos> -A system` went down from 7.1s to 5.4s and GC heap size decreased by 50MB (or 70MB max RSS).		2021-10-18 03:45:33 +02:00
..
default.nix	make-options-docs: don't sort the options XML file	2021-10-18 03:45:33 +02:00
options-to-docbook.xsl
postprocess-option-descriptions.xsl
sortXML.py	make-options-docs: don't sort the options XML file	2021-10-18 03:45:33 +02:00