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.
echo "$2"
echo
fi
-
exit $1
}
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
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