# HG changeset patch
# User rathann
# Date 1237491851 0
# Node ID ca733e5376af1c96d4a0c8a0d082ce0b84523796
# Parent  e67354af521e3c173dad60071c54c9e02bff47f4
Fix HTML docs generation, broken in r28980.

diff -r e67354af521e -r ca733e5376af DOCS/xml/configure
--- a/DOCS/xml/configure	Thu Mar 19 15:02:44 2009 +0000
+++ b/DOCS/xml/configure	Thu Mar 19 19:44:11 2009 +0000
@@ -187,7 +187,7 @@
   then
     echo "Found xsltproc. If it works, it's probably the best choice."
     # HACK: xslt always need a target file if a doctype is set
-    _xsltcommand="OUTPUT=\"\$1\"; if test -d \"\$OUTPUT\" ; then OUTPUT=\"$OUTPUT/dummy.html\" ; fi;"
+    _xsltcommand="OUTPUT=\"\$1\"; if test -d \"\$OUTPUT\" ; then OUTPUT=\"\$OUTPUT/dummy.html\" ; fi;"
     if test -n "$_catalog"
     then
       _xsltcommand="$_xsltcommand xsltproc --catalogs -o \$OUTPUT \$2 \$3"