summaryrefslogtreecommitdiffstats
path: root/DOCS/xml/configure
diff options
context:
space:
mode:
Diffstat (limited to 'DOCS/xml/configure')
-rwxr-xr-xDOCS/xml/configure6
1 files changed, 4 insertions, 2 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure
index a61f564fc1..a15cdecd03 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."