diff options
author | pennae <github@quasiparticle.net> | 2023-06-11 20:36:29 +0200 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2023-06-13 16:56:31 +0200 |
commit | 20152b4269356ab04cab7b3c7b0df3fea3455637 (patch) | |
tree | ea49ff1405604dfac1541a8baccad5fbd9fe909a /nixos/lib/make-options-doc/default.nix | |
parent | 1418c986b00d2386baac359ee80e004fdba5083c (diff) |
nixos/doc: remove docbook options compatibility
no longer needed or useful, and may even produce false positives now that markdown is the default language for option docs.
Diffstat (limited to 'nixos/lib/make-options-doc/default.nix')
-rw-r--r-- | nixos/lib/make-options-doc/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nixos/lib/make-options-doc/default.nix b/nixos/lib/make-options-doc/default.nix index 4ba8a9d95b368..26819597a1f9b 100644 --- a/nixos/lib/make-options-doc/default.nix +++ b/nixos/lib/make-options-doc/default.nix @@ -139,7 +139,6 @@ in rec { TOUCH_IF_DB=$dst/.used-docbook \ python ${./mergeJSON.py} \ ${lib.optionalString warningsAreErrors "--warnings-are-errors"} \ - ${if allowDocBook then "--warn-on-docbook" else "--error-on-docbook"} \ $baseJSON $options \ > $dst/options.json |