build_ps(): Fix flags to dvips.

build_html():  Deal with node2label.pl a little better.

diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 9013b2fc9688e0db6f70c3afd6aee5b54a06a0b7..fa1a8c25719ce08bc51c361aa998732d1a2c583a 100755 (executable)
--- 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() {