diff options
| -rwxr-xr-x | DOCS/xml/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure index 94f41690be..a15cdecd03 100755 --- a/DOCS/xml/configure +++ b/DOCS/xml/configure @@ -187,7 +187,7 @@ then 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" |