summary refs log tree commit diff
path: root/configure.ac
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-09-18 11:45:56 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-09-18 11:45:56 +0000
commit51ad64cc0791f797c936d8d7b1cef0dec64c0ce3 (patch)
tree2b416ed275b0d910c9d1acc298f96d97ad9db3c9 /configure.ac
parentdf05a759e4b73058ade82b6008c405cc5c75b104 (diff)
downloadguix-51ad64cc0791f797c936d8d7b1cef0dec64c0ce3.tar.gz
* Use xmllint (>= 2.7.4) for RelaxNG validation instead of Jing.
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac1
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac
index 0ad3a2a9c9..fcb5efaf6d 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)