diff options
Diffstat (limited to 'DOCS')
| -rwxr-xr-x | DOCS/xml/configure | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure index a61f564fc1..94f41690be 100755 --- a/DOCS/xml/configure +++ b/DOCS/xml/configure @@ -186,11 +186,13 @@ then if test -z "$_fake_chunk_xsl" 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;" if test -n "$_catalog" then - _xsltcommand="xsltproc --catalogs -o \$1 \$2 \$3" + _xsltcommand="$_xsltcommand xsltproc --catalogs -o \$OUTPUT \$2 \$3" else - _xsltcommand="xsltproc -o \$1 \$2 \$3" + _xsltcommand="$_xsltcommand xsltproc -o \$OUTPUT \$2 \$3" fi else echo "Found xsltproc but no stylesheets on your system." |