From 5360879740f1f0019d9eacc8836900d4f986e438 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Thu, 7 May 1998 01:38:16 +0000 Subject: [PATCH] New helper script to build the .dvi for a Python manual; usable for the api, ext, ref, and tut manuals. The Library Reference requires too much special index processing to make it beneficial to extend this to support it. --- Doc/tools/mkdvi.sh | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100755 Doc/tools/mkdvi.sh diff --git a/Doc/tools/mkdvi.sh b/Doc/tools/mkdvi.sh new file mode 100755 index 00000000000..1bd442a12c2 --- /dev/null +++ b/Doc/tools/mkdvi.sh @@ -0,0 +1,26 @@ +#! /bin/sh +# +# Build one of the simple documents. + +WORKDIR=`pwd` +cd `dirname $0`/.. +srcdir=`pwd` +cd $WORKDIR + +PART=$1 + +TEXINPUTS=$srcdir/$PART:$TEXINPUTS +export TEXINPUTS + +set -x +$srcdir/tools/newind.py >$PART.ind || exit $? +latex $PART || exit $? +if [ -f $PART.idx ] ; then + # using the index + $srcdir/tools/fix_hack $*.idx || exit $? + makeindex -s $srcdir/texinputs/myindex.ist $*.idx || exit $? +else + # skipping the index; clean up the unused file + rm -f $PART.ind +fi +latex $PART || exit $?