changeset 28945:486844bc3b84

Avoid an error at the end of chunked HTML doc generation. Since doctype was added, xsltproc always needs a target _file_.
author reimar
date Tue, 17 Mar 2009 11:47:27 +0000
parents cb18135338dd
children f0687e100b07
files DOCS/xml/configure
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/configure	Mon Mar 16 23:03:18 2009 +0000
+++ b/DOCS/xml/configure	Tue Mar 17 11:47:27 2009 +0000
@@ -186,11 +186,13 @@
   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."