Use the new index style when running makeindex.

diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh
index 417ba323abe97fe1b66f06f77ceadf7e1feb5fb8..676b105f15d58f3cf7089f64cec4fe8ad4318b52 100755 (executable)
--- a/Doc/tools/mkhowto.sh
+++ b/Doc/tools/mkhowto.sh
@@ -86,7 +86,7 @@ build_dvi() {
     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 @@ build_pdf() {
     `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 $?
 }