Don't be so ugly as to use "set -x" to get the executed commands printed.
diff --git a/Doc/tools/mkhtml.sh b/Doc/tools/mkhtml.sh
index e0f34b8..d6e8508 100755
--- a/Doc/tools/mkhtml.sh
+++ b/Doc/tools/mkhtml.sh
@@ -16,15 +16,16 @@
export TEXINPUTS
if [ -d $part ] ; then
- (set -x; rm -f $part/*.html)
+ rm -f $part/*.html
fi
-set -x
-
+echo "latex2html -init_file $srcdir/perl/l2hinit.perl ${1:+$@} " \
+ "$srcdir/$part/$part.tex"
latex2html \
-init_file $srcdir/perl/l2hinit.perl \
${1:+$@} \
$srcdir/$part/$part.tex
+echo '(cd '$part'; '$srcdir'/tools/node2label.pl *.html)'
cd $part
$srcdir/tools/node2label.pl *.html