diff options
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/mkinfo | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Doc/tools/mkinfo b/Doc/tools/mkinfo index 51279a0..edba1db 100755 --- a/Doc/tools/mkinfo +++ b/Doc/tools/mkinfo @@ -1,6 +1,11 @@ #! /bin/sh # -*- Ksh -*- +# Script to drive the HTML-info conversion process. +# Pass in a single parameter: the name of the top-level HTML file +# generated by LaTeX2HTML. +# +# Written by Fred L. Drake, Jr. <fdrake@acm.org> PERL=${PERL:-perl} EMACS=${EMACS:-emacs} @@ -14,6 +19,7 @@ DOCDIR=`dirname "$FILENAME"` DOCFILE=`basename "$FILENAME"` DOCNAME=`basename "$FILENAME" .html` +# Now build the real directory names, and locate our support stuff: WORKDIR=`pwd` cd `dirname $0` TOOLSDIR=`pwd` @@ -23,7 +29,8 @@ cd $WORKDIR run() { - echo "$@" + # show what we're doing, like make does: + echo "$*" $* || exit $? } |