pennae 54f4992e80 nixos/manual: render html with nixos-render-doc if !allowDocBook ...

this reproduces the docbook-generated html manual exactly enough to
appease the compare workflows while we still support both toolchains.
it's also a lot faster than the docbook toolchain, rendering the entire
html manual in about two seconds on this machine (while docbook needs
about 20).

2023-02-21 18:26:41 +01:00

11 KiB

Raw Blame History

View Raw