--- configure~0	2013-11-11 18:17:46.000000000 +0200
+++ configure	2013-11-20 09:28:27.656261300 +0200
@@ -19651,8 +19651,8 @@
     { $as_echo "$as_me:${as_lineno-$LINENO}: checking for DocBook XML DTD V4.1.2 in XML catalog" >&5
 $as_echo_n "checking for DocBook XML DTD V4.1.2 in XML catalog... " >&6; }
   if $jh_found_xmlcatalog && \
-     { { $as_echo "$as_me:${as_lineno-$LINENO}: \$XMLCATALOG --noout \"\$XML_CATALOG_FILE\" \"-//OASIS//DTD DocBook XML V4.1.2//EN\" >&2"; } >&5
-  ($XMLCATALOG --noout "$XML_CATALOG_FILE" "-//OASIS//DTD DocBook XML V4.1.2//EN" >&2) 2>&5
+     { { $as_echo "$as_me:${as_lineno-$LINENO}: \$XMLCATALOG --noout \"\$XML_CATALOG_FILE\" \" -//OASIS//DTD DocBook XML V4.1.2//EN\" >&2"; } >&5
+  ($XMLCATALOG --noout "$XML_CATALOG_FILE" " -//OASIS//DTD DocBook XML V4.1.2//EN" >&2) 2>&5
   ac_status=$?
   $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
   test $ac_status = 0; }; then
