summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/minitoc/emk
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-03-08 15:41:08 +0000
committerKarl Berry <karl@freefriends.org>2007-03-08 15:41:08 +0000
commit6650de3b1b197274a25cdb925f6d1f1407e04dfa (patch)
tree35d2c0d96500f012bfe92d79b1ce0ef33fff40cb /Master/texmf-dist/doc/latex/minitoc/emk
parent14d833933b27712ce59dab912670e4931bf7cdcd (diff)
minitoc 52 (12feb07)
git-svn-id: svn://tug.org/texlive/trunk@4022 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/emk')
-rwxr-xr-xMaster/texmf-dist/doc/latex/minitoc/emk26
1 files changed, 1 insertions, 25 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/emk b/Master/texmf-dist/doc/latex/minitoc/emk
index c838b82f512..47fd98eafb4 100755
--- a/Master/texmf-dist/doc/latex/minitoc/emk
+++ b/Master/texmf-dist/doc/latex/minitoc/emk
@@ -1,34 +1,10 @@
#! /bin/csh
-set HEADER=duplex2v.pro
if ( -f minitoc.dtx ) then
echo 'Creating the english documentation...'
if ( -f minitoc.maf ) then
\rm minitoc.maf
endif
-# create the english documentation (DVI): 4 latex runs, with index and biblio
-latex minitoc.dtx
-sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
-bibtex minitoc
-makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
-mv minitoc.ilg minitoc.ilg1
-#
-latex minitoc.dtx
-sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
-makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
-mv minitoc.ilg minitoc.ilg1
-#
-latex minitoc.dtx
-sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
-makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
-mv minitoc.ilg minitoc.ilg1
-#
-latex minitoc.dtx
-sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
-# convert the .dvi into PostScript
-# change the printer type
-dvips -h $HEADER -o minitoc.ps minitoc
-cp minitoc.log ps-minitoc.log
-# create the documentation (PDF): 4 pdflatex runs, with index and biblio
+# create the english documentation (PDF): 4 pdflatex runs, with index and biblio
pdflatex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
bibtex minitoc