]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/minidom/configure.in
patch for libxml2 new release
[helm.git] / helm / minidom / configure.in
index f8674dbe14462760eb8ff4cbcd215eb310cd622c..5e395485b8aaecc2264bce32ea27c03af3cdfe86 100644 (file)
@@ -39,6 +39,7 @@ AC_CHECK_LIB(glib, g_malloc,
 
 AC_CHECK_PROG(XML_CONFIG, xml2-config, xml2-config)
 AC_CHECK_PROG(XML_CONFIG, xml-config, xml-config, no)
+AC_SUBST(XML_CONFIG)
 
 if test $XML_CONFIG = "no"; then
        AC_MSG_ERROR(could not find configuration script for libxml)