diff options
author | pennae <github@quasiparticle.net> | 2023-06-11 19:29:32 +0200 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2023-06-13 16:56:30 +0200 |
commit | 0997ae1903b0f18cd9e43e4a65ffdd8f1e1ff285 (patch) | |
tree | 0239331544240803f0566bd54b5b58a9758db9da /nixos/doc/manual/default.nix | |
parent | 96ce8d59649f20c21b01f146bcd6b37aa14cd59e (diff) |
nixos/manual: disallow docbook option docs
it's been long in the making, and with 23.05 out we can finally disable docbook option docs and default to markdown instead. this brings a massive speed boost in manual and manpage builds, so much so that we may consider enabling user module documentation by default. we don't remove the docbook support code entirely yet because it's a lot all over, and probably better removed in multiple separate changes.
Diffstat (limited to 'nixos/doc/manual/default.nix')
-rw-r--r-- | nixos/doc/manual/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix index 3052b353ee775..782275b382cdd 100644 --- a/nixos/doc/manual/default.nix +++ b/nixos/doc/manual/default.nix @@ -6,10 +6,11 @@ , extraSources ? [] , baseOptionsJSON ? null , warningsAreErrors ? true -, allowDocBook ? true +, allowDocBook ? false , prefix ? ../../.. }: +assert ! allowDocBook; with pkgs; let |