diff options
author | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2019-02-07 16:35:24 +0100 |
---|---|---|
committer | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2019-02-07 16:35:24 +0100 |
commit | 4c0230eb566d48d7021f567897ee6d630c35a04a (patch) | |
tree | dea4a2fc61d0b6dec84a3c8a65e720cc5fe5a35a /nixos/doc/manual/default.nix | |
parent | 467df7ba4ade1047b568ef1c5e53201eedae912f (diff) |
nixos/manual: warn on missing xml:id
Diffstat (limited to 'nixos/doc/manual/default.nix')
-rw-r--r-- | nixos/doc/manual/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix index faae4f205443f..02b91773f5dad 100644 --- a/nixos/doc/manual/default.nix +++ b/nixos/doc/manual/default.nix @@ -265,6 +265,7 @@ in rec { xsltproc \ ${manualXsltprocOptions} \ --stringparam target.database.document "${olinkDB}/olinkdb.xml" \ + --stringparam id.warnings "1" \ --nonet --output $dst/ \ ${docbook_xsl_ns}/xml/xsl/docbook/xhtml/chunktoc.xsl \ ${manual-combined}/manual-combined.xml |