diff options
| author | Fred Drake <fdrake@acm.org> | 1998-05-11 19:06:26 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 1998-05-11 19:06:26 (GMT) |
| commit | 58ff112e7f3e7b69574f9d160f075c4793c678dc (patch) | |
| tree | 5018d19f6e410c334a43a8abd353979a9986ff84 | |
| parent | 4190fae02a1785a60281048fd50302ea0a8cfebf (diff) | |
| download | cpython-58ff112e7f3e7b69574f9d160f075c4793c678dc.zip cpython-58ff112e7f3e7b69574f9d160f075c4793c678dc.tar.gz cpython-58ff112e7f3e7b69574f9d160f075c4793c678dc.tar.bz2 | |
Don't be so ugly as to use "set -x" to get the executed commands printed.
| -rwxr-xr-x | Doc/tools/mkdvi.sh | 7 |
1 files changed, 6 insertions, 1 deletions
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 @@ 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 $? |