diff options
Diffstat (limited to 'Doc/tools/mkdvi.sh')
| -rwxr-xr-x | Doc/tools/mkdvi.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/tools/mkdvi.sh b/Doc/tools/mkdvi.sh index 78cc38c..3330acc 100755 --- a/Doc/tools/mkdvi.sh +++ b/Doc/tools/mkdvi.sh @@ -27,8 +27,8 @@ if [ -f $part.idx ] ; then # using the index echo $srcdir'/tools/fix_hack '$part'.idx' $srcdir/tools/fix_hack $part.idx || exit $? - echo 'makeindex -s '$srcdir'/texinputs/myindex.ist '$part'.idx' - makeindex -s $srcdir/texinputs/myindex.ist $part.idx || exit $? + echo 'makeindex -s '$srcdir'/texinputs/python.ist '$part'.idx' + makeindex -s $srcdir/texinputs/python.ist $part.idx || exit $? else # skipping the index; clean up the unused file rm -f $part.ind |