summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/minitoc/emk
diff options
context:
space:
mode:
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