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 2e43e2b..78cc38c 100755
--- a/Doc/tools/mkdvi.sh
+++ b/Doc/tools/mkdvi.sh
@@ -19,18 +19,23 @@
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 $?