diff options
author | Franz Pletz <fpletz@fnordicwalking.de> | 2016-03-31 10:06:30 +0200 |
---|---|---|
committer | Franz Pletz <fpletz@fnordicwalking.de> | 2016-03-31 10:06:30 +0200 |
commit | 2e08d8234ec3fd297a82dfed2d9704cb86b2dde2 (patch) | |
tree | 79138db99c17509fd265139e9a44ed2abf023df8 /doc | |
parent | 753086cd47271260bfef388db6696c1415cb0175 (diff) | |
parent | a3ac6300923039901d185ed5a5f57d59fa99a6a5 (diff) |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'doc')
-rw-r--r-- | doc/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/default.nix b/doc/default.nix index 5c97bc32a889f..ddbee65f1ac4f 100644 --- a/doc/default.nix +++ b/doc/default.nix @@ -67,9 +67,9 @@ stdenv.mkDerivation { + '' echo ${nixpkgsVersion} > .version - xmllint --noout --nonet --xinclude --noxincludenode \ - --relaxng ${docbook5}/xml/rng/docbook/docbook.rng \ - manual.xml + # validate against relaxng schema + xmllint --nonet --xinclude --noxincludenode manual.xml --output manual-full.xml + ${jing}/bin/jing ${docbook5}/xml/rng/docbook/docbook.rng manual-full.xml dst=$out/share/doc/nixpkgs mkdir -p $dst |