Add a few comments.

diff --git a/Doc/tools/mkinfo b/Doc/tools/mkinfo
index 51279a032115f3b71a3445d62d3425d859255607..edba1db8e70445686aed245e5629e3df8a457043 100755 (executable)
--- 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 $?
 }