diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-18T11·45+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-18T11·45+0000 |
commit | 51ad64cc0791f797c936d8d7b1cef0dec64c0ce3 (patch) | |
tree | 2b416ed275b0d910c9d1acc298f96d97ad9db3c9 /release.nix | |
parent | df05a759e4b73058ade82b6008c405cc5c75b104 (diff) |
* Use xmllint (>= 2.7.4) for RelaxNG validation instead of Jing.
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 47e68dccfc3a..ada0d3421bef 100644 --- a/release.nix +++ b/release.nix @@ -19,7 +19,7 @@ let inherit officialRelease; buildInputs = - [ curl bison flex2533 perl libxml2 libxslt w3m bzip2 jing_tools + [ curl bison flex2533 perl libxml2New libxslt w3m bzip2 tetex dblatex nukeReferences ]; |