Merge pull request #55396 from layus/warn-manual-ids

nixos/manual: warn on missing xml:id
This commit is contained in:
Graham Christensen 2019-02-07 16:07:52 -05:00 committed by GitHub
commit d7bb260850
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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