File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -19,18 +19,23 @@ part=$1; shift 1
1919TEXINPUTS=$srcdir /$part :$TEXINPUTS
2020export TEXINPUTS
2121
22- set -x
22+ echo $srcdir ' /tools/newind.py > ' $part ' .ind '
2323$srcdir /tools/newind.py > $part .ind || exit $?
24+ echo " $latex $part "
2425$latex $part || exit $?
2526if [ -f $part .idx ] ; then
2627 # using the index
28+ echo $srcdir ' /tools/fix_hack ' $part ' .idx'
2729 $srcdir /tools/fix_hack $part .idx || exit $?
30+ echo ' makeindex -s ' $srcdir ' /texinputs/myindex.ist ' $part ' .idx'
2831 makeindex -s $srcdir /texinputs/myindex.ist $part .idx || exit $?
2932else
3033 # skipping the index; clean up the unused file
3134 rm -f $part .ind
3235fi
3336if [ " $pdf " ] ; then
37+ echo $srcdir ' /tools/toc2bkm.py ' $part
3438 $srcdir /tools/toc2bkm.py $part
3539fi
40+ echo " $latex $part "
3641$latex $part || exit $?
You can’t perform that action at this time.
0 commit comments