diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/emk')
-rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/emk | 26 |
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 |