diff options
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 5c97bc32a889..ddbee65f1ac4 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 |