Add a few comments.
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 @@
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 @@
run() {
- echo "$@"
+ # show what we're doing, like make does:
+ echo "$*"
$* || exit $?
}