comparison DOCS/xml/configure @ 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 d41a06f831ee
children ca733e5376af
comparison
equal deleted inserted replaced
28944:cb18135338dd 28945:486844bc3b84
184 if xsltproc --version &> /dev/null 184 if xsltproc --version &> /dev/null
185 then 185 then
186 if test -z "$_fake_chunk_xsl" 186 if test -z "$_fake_chunk_xsl"
187 then 187 then
188 echo "Found xsltproc. If it works, it's probably the best choice." 188 echo "Found xsltproc. If it works, it's probably the best choice."
189 # HACK: xslt always need a target file if a doctype is set
190 _xsltcommand="OUTPUT=\"\$1\"; if test -d \"\$OUTPUT\" ; then OUTPUT=\"$OUTPUT/dummy.html\" ; fi;"
189 if test -n "$_catalog" 191 if test -n "$_catalog"
190 then 192 then
191 _xsltcommand="xsltproc --catalogs -o \$1 \$2 \$3" 193 _xsltcommand="$_xsltcommand xsltproc --catalogs -o \$OUTPUT \$2 \$3"
192 else 194 else
193 _xsltcommand="xsltproc -o \$1 \$2 \$3" 195 _xsltcommand="$_xsltcommand xsltproc -o \$OUTPUT \$2 \$3"
194 fi 196 fi
195 else 197 else
196 echo "Found xsltproc but no stylesheets on your system." 198 echo "Found xsltproc but no stylesheets on your system."
197 echo "xsltproc is unusable without stylesheets." 199 echo "xsltproc is unusable without stylesheets."
198 fi 200 fi