diff options
| author | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2019-02-08 10:50:59 +0100 |
|---|---|---|
| committer | Guillaume Maudoux <guillaume.maudoux@uclouvain.be> | 2019-02-08 10:59:46 +0100 |
| commit | a65974c604d6541fc2a194f289a79e330c3fea8d (patch) | |
| tree | 8457c601d38e76366dd1e1e2afb66430205d8fbe /nixos | |
| parent | 473a3ef60619d6be04a41ee6de633df6067a1c68 (diff) | |
| download | nixpkgs-a65974c604d6541fc2a194f289a79e330c3fea8d.tar nixpkgs-a65974c604d6541fc2a194f289a79e330c3fea8d.tar.gz nixpkgs-a65974c604d6541fc2a194f289a79e330c3fea8d.tar.bz2 nixpkgs-a65974c604d6541fc2a194f289a79e330c3fea8d.tar.lz nixpkgs-a65974c604d6541fc2a194f289a79e330c3fea8d.tar.xz nixpkgs-a65974c604d6541fc2a194f289a79e330c3fea8d.tar.zst nixpkgs-a65974c604d6541fc2a194f289a79e330c3fea8d.zip | |
nixos/manual: error out on missing IDs
Diffstat (limited to 'nixos')
| -rw-r--r-- | nixos/doc/manual/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix index 02b91773f5d..1a5314e66cb 100644 --- a/nixos/doc/manual/default.nix +++ b/nixos/doc/manual/default.nix @@ -268,7 +268,10 @@ in rec { --stringparam id.warnings "1" \ --nonet --output $dst/ \ ${docbook_xsl_ns}/xml/xsl/docbook/xhtml/chunktoc.xsl \ - ${manual-combined}/manual-combined.xml + ${manual-combined}/manual-combined.xml \ + |& tee xsltproc.out + grep "^ID recommended on" xsltproc.out &>/dev/null && echo "error: some IDs are missing" && false + rm xsltproc.out mkdir -p $dst/images/callouts cp ${docbook_xsl_ns}/xml/xsl/docbook/images/callouts/*.svg $dst/images/callouts/ |