diff options
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/mkhowto.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/tools/mkhowto.sh b/Doc/tools/mkhowto.sh index 417ba32..676b105f 100755 --- 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 $? } |