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 e0f34b8c56bd3071cbfbda2ac346558add165950..d6e8508b96d307a1414358c7ca34479439a4847b 100755 (executable)
--- a/Doc/tools/mkhtml.sh
+++ b/Doc/tools/mkhtml.sh
@@ -16,15 +16,16 @@ TEXINPUTS=$srcdir/$part:$TEXINPUTS
 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