Use the new index style when running makeindex.

This commit is contained in:
Fred Drake 1998-04-04 04:20:21 +00:00
parent 10ad52e8af
commit a8e262b0b2

View file

@ -86,7 +86,7 @@ build_dvi() {
latex $1 || exit $? latex $1 || exit $?
if [ -f $1.idx ] ; then if [ -f $1.idx ] ; then
`dirname $0`/fix_hack $1.idx || exit $? `dirname $0`/fix_hack $1.idx || exit $?
makeindex $1.idx || exit $? makeindex -s $TOPDIR/texinputs/myindex.ist $1.idx || exit $?
fi fi
latex $1 || exit $? latex $1 || exit $?
} }
@ -105,7 +105,7 @@ build_pdf() {
`dirname $0`/toc2bkm.py -c section $FILE || exit $? `dirname $0`/toc2bkm.py -c section $FILE || exit $?
if [ -f $1.idx ] ; then if [ -f $1.idx ] ; then
`dirname $0`/fix_hack $1.idx || exit $? `dirname $0`/fix_hack $1.idx || exit $?
makeindex $1.idx || exit $? makeindex -s $TOPDIR/texinputs/myindex.ist $1.idx || exit $?
fi fi
pdflatex $1 || exit $? pdflatex $1 || exit $?
} }