From: Fred Drake Date: Thu, 7 May 1998 17:28:42 +0000 (+0000) Subject: Add support for a --pdf option to cause a PDF file to be created instead; X-Git-Tag: v1.5.2a1~709 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=bf332696a1d3853484d5e2a8f85a9fb72ca706dd;p=python Add support for a --pdf option to cause a PDF file to be created instead; most of the processing is the same and has to be done anyway. --- diff --git a/Doc/tools/mkdvi.sh b/Doc/tools/mkdvi.sh index 1bd442a12c..2e43e2b7a4 100755 --- a/Doc/tools/mkdvi.sh +++ b/Doc/tools/mkdvi.sh @@ -7,20 +7,30 @@ cd `dirname $0`/.. srcdir=`pwd` cd $WORKDIR -PART=$1 +latex=latex +if [ "$1" = "--pdf" ] ; then + pdf=true + latex=pdflatex + shift 1 +fi + +part=$1; shift 1 -TEXINPUTS=$srcdir/$PART:$TEXINPUTS +TEXINPUTS=$srcdir/$part:$TEXINPUTS export TEXINPUTS set -x -$srcdir/tools/newind.py >$PART.ind || exit $? -latex $PART || exit $? -if [ -f $PART.idx ] ; then +$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 $? + $srcdir/tools/fix_hack $part.idx || exit $? + makeindex -s $srcdir/texinputs/myindex.ist $part.idx || exit $? else # skipping the index; clean up the unused file - rm -f $PART.ind + rm -f $part.ind +fi +if [ "$pdf" ] ; then + $srcdir/tools/toc2bkm.py $part fi -latex $PART || exit $? +$latex $part || exit $?