diff options
| author | pennae <github@quasiparticle.net> | 2023-02-20 18:55:15 +0100 |
|---|---|---|
| committer | pennae <github@quasiparticle.net> | 2023-02-21 18:26:41 +0100 |
| commit | 54f4992e80df3b8007dd8235c9f8d6ec77eef16f (patch) | |
| tree | 53fc1af9b3a1f7535ba6a91d6cc1f6b4d9d04ffc /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 36f04733ddc40beb54659f290aaf369d380f312b (diff) | |
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).
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions