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 /configure.ac | |
| parent | df05a759e4b73058ade82b6008c405cc5c75b104 (diff) | |
* Use xmllint (>= 2.7.4) for RelaxNG validation instead of Jing.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 0ad3a2a9c917..fcb5efaf6d5d 100644 --- a/configure.ac +++ b/configure.ac @@ -140,7 +140,6 @@ NEED_PROG(bash, bash) NEED_PROG(patch, patch) AC_PATH_PROG(xmllint, xmllint, false) AC_PATH_PROG(xsltproc, xsltproc, false) -AC_PATH_PROG(jing, jing, false) # needed because xmllint --relaxng seems broken AC_PATH_PROG(w3m, w3m, false) AC_PATH_PROG(flex, flex, false) AC_PATH_PROG(bison, bison, false) |