diff options
author | Domen Kožar <domen@dev.si> | 2016-03-30 18:07:34 +0100 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2016-03-30 18:07:34 +0100 |
commit | ccdda96c2f6f15bb344190770a828744af45b6ee (patch) | |
tree | fed1292af003a2421ec21a17c9d0b35a44fd0a86 | |
parent | e2e56a902f2c46e904ce4447246c9ede61d4e7d8 (diff) |
manual: use a better relaxng validation tool #4966
-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 |