From bf332696a1d3853484d5e2a8f85a9fb72ca706dd Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Thu, 7 May 1998 17:28:42 +0000
Subject: 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.

---
 Doc/tools/mkdvi.sh | 28 +++++++++++++++++++---------
 1 file changed, 19 insertions(+), 9 deletions(-)

diff --git a/Doc/tools/mkdvi.sh b/Doc/tools/mkdvi.sh
index 1bd442a..2e43e2b 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 $?
-- 
cgit v0.12