Reflect new name of index style file.
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 @@
# 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