From 323dc70de5fc3daedcdb7e15cded576b5cddeecc Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Mon, 11 May 1998 18:41:16 +0000
Subject: [PATCH] Don't be so ugly as to use "set -x" to get the executed
 commands printed.

---
 Doc/tools/mkhtml.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Doc/tools/mkhtml.sh b/Doc/tools/mkhtml.sh
index e0f34b8c56b..d6e8508b96d 100755
--- 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