Don't be so ugly as to use "set -x" to get the executed commands printed.

diff --git a/Doc/tools/mkdvi.sh b/Doc/tools/mkdvi.sh
index 2e43e2b7a40d458fcfea3ae98daaf4f2bd31356f..78cc38cafb123c4216f10cc935ca2a5702d31a06 100755 (executable)
--- a/Doc/tools/mkdvi.sh
+++ b/Doc/tools/mkdvi.sh
@@ -19,18 +19,23 @@ part=$1; shift 1
 TEXINPUTS=$srcdir/$part:$TEXINPUTS
 export TEXINPUTS
 
-set -x
+echo $srcdir'/tools/newind.py >'$part'.ind'
 $srcdir/tools/newind.py >$part.ind || exit $?
+echo "$latex $part"
 $latex $part || exit $?
 if [ -f $part.idx ] ; then
     # using the index
+    echo $srcdir'/tools/fix_hack '$part'.idx'
     $srcdir/tools/fix_hack $part.idx || exit $?
+    echo 'makeindex -s '$srcdir'/texinputs/myindex.ist '$part'.idx'
     makeindex -s $srcdir/texinputs/myindex.ist $part.idx || exit $?
 else
     # skipping the index; clean up the unused file
     rm -f $part.ind
 fi
 if [ "$pdf" ] ; then
+    echo $srcdir'/tools/toc2bkm.py '$part
     $srcdir/tools/toc2bkm.py $part
 fi
+echo "$latex $part"
 $latex $part || exit $?