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 /nixos/doc/manual/manual.md | |
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 'nixos/doc/manual/manual.md')
-rw-r--r-- | nixos/doc/manual/manual.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/nixos/doc/manual/manual.md b/nixos/doc/manual/manual.md index 1972eaeda8728..8cb766eeccf64 100644 --- a/nixos/doc/manual/manual.md +++ b/nixos/doc/manual/manual.md @@ -47,7 +47,10 @@ development/development.md contributing-to-this-manual.chapter.md ``` -```{=include=} appendix +```{=include=} appendix html:into-file=//options.html nixos-options.md +``` + +```{=include=} appendix html:into-file=//release-notes.html release-notes/release-notes.md ``` |