diff options
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/mkhowto.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 9013b2f..fa1a8c2 100755 --- a/Doc/tools/mkhowto.sh +++ b/Doc/tools/mkhowto.sh @@ -13,7 +13,7 @@ DEFAULT_FORMAT=PDF USE_DEFAULT_FORMAT=true DISCARD_TEMPS=true -HTML_SPLIT_LEVEL='' +HTML_SPLIT_LEVEL=0 L2H_INIT_FILE=$TOPDIR/perl/l2hinit.perl # This is needed to support kpathsea based TeX installations. Others are @@ -55,7 +55,7 @@ EOF } build_html() { - if [ "$HTML_SPLIT_LEVEL" ] ; then + if [ "$HTML_SPLIT_LEVEL" -gt 0 ] ; then if [ "$ADDRESS" ] ; then latex2html -init_file $L2H_INIT_FILE \ -address "$ADDRESS" \ @@ -76,7 +76,7 @@ build_html() { $1 || exit $? fi fi - if [ "$HTML_SPLIT_LEVEL" != 1 ] ; then + if [ "$HTML_SPLIT_LEVEL" -ne 1 ] ; then (cd $FILE; $MYDIR/node2label.pl *.html) || exit $? fi } @@ -123,7 +123,7 @@ build_pdf() { } build_ps() { - dvips -N0 -o $1.ps -f $1 || exit $? + dvips -N0 -o $1.ps $1 || exit $? } cleanup() { |