diff options
Diffstat (limited to 'Doc')
| -rwxr-xr-x | Doc/tools/mkdvi.sh | 28 |
1 files 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 $? |