Use the new index style when running makeindex.
diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 417ba32..676b105 100755
--- a/Doc/tools/mkhowto.sh
+++ b/Doc/tools/mkhowto.sh
@@ -86,7 +86,7 @@
latex $1 || exit $?
if [ -f $1.idx ] ; then
`dirname $0`/fix_hack $1.idx || exit $?
- makeindex $1.idx || exit $?
+ makeindex -s $TOPDIR/texinputs/myindex.ist $1.idx || exit $?
fi
latex $1 || exit $?
}
@@ -105,7 +105,7 @@
`dirname $0`/toc2bkm.py -c section $FILE || exit $?
if [ -f $1.idx ] ; then
`dirname $0`/fix_hack $1.idx || exit $?
- makeindex $1.idx || exit $?
+ makeindex -s $TOPDIR/texinputs/myindex.ist $1.idx || exit $?
fi
pdflatex $1 || exit $?
}