diff options
| -rwxr-xr-x | Doc/tools/mkhowto.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index e53569b..0fdf09d 100755 --- a/Doc/tools/mkhowto.sh +++ b/Doc/tools/mkhowto.sh @@ -32,15 +32,15 @@ LOGGING='' usage() { MYNAME=`basename $0` - echo "usage: $MYNAME [options...] file ..." cat <<EOF +usage: $MYNAME [options...] file ... Options specifying formats to build: --html HyperText Markup Language --pdf Portable Document Format (default) --ps PostScript --dvi "DeVice Indepentent" format from TeX - --text ASCII text + --text ASCII text (requires lynx) More than one output format may be specified, or --all. @@ -65,7 +65,6 @@ EOF echo "$2" echo fi - exit $1 } @@ -309,7 +308,7 @@ if [ "$DEBUGGING" ] ; then fi echo '# auxillary init file for latex2html' >$L2H_AUX_INIT_FILE -echo '# generated by mkhowto.sh -- do no edit' >>$L2H_AUX_INIT_FILE +echo '# generated by mkhowto.sh -- do not edit' >>$L2H_AUX_INIT_FILE if [ "$ICONSERVER" ] ; then ICONSERVER="${ICONSERVER%/}" fi @@ -347,6 +346,9 @@ for FILE in $@ ; do HAVE_TEMPS=true fi build_html $FILE $FILE 2>&1 | tee -a $LOGFILE + if [ "$ICONSERVER" = "." ] ; then + cp $TOPDIR/icons/*.gif $FILE/ + fi fi if [ "$BUILD_TEXT" ] ; then if [ ! "$HAVE_TEMPS" ] ; then |