2 commits

Author	SHA1	Message	Date
pennae	9b97a2ea88	nix/lib/make-options-doc: remove nix-level sorting ... there are no remaining users of sorted option lists except the docbook build, which sorts its input separately.	2021-12-06 16:12:32 +01:00
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