diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/emk')
| -rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/emk | 55 |
1 files changed, 26 insertions, 29 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/emk b/Master/texmf-dist/doc/latex/minitoc/emk index 6501a201f82..0aa176a4c62 100755 --- a/Master/texmf-dist/doc/latex/minitoc/emk +++ b/Master/texmf-dist/doc/latex/minitoc/emk @@ -1,58 +1,55 @@ #! /bin/csh -set IMP=l4si2 +set HEADER=duplex2v.pro if ( -f minitoc.dtx ) then echo 'Creating the english documentation...' -# create the english documentation (DVI): 3 latex runs, with index and biblio +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 -sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo -sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo bibtex minitoc makeindex -s minitoc.ist -o minitoc.ind minitoc.idx mv minitoc.ilg minitoc.ilg1 -makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo -sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls -sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls +# latex minitoc.dtx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx -sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo -sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo makeindex -s minitoc.ist -o minitoc.ind minitoc.idx mv minitoc.ilg minitoc.ilg1 -makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo -sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls -sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls +# +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 -sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo -sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo # convert the .dvi into PostScript # change the printer type -dvips -P$IMP -o minitoc.ps minitoc -# create the documentation (PDF): 3 pdflatex runs, with index and biblio +dvips -h $HEADER -o minitoc.ps minitoc +cp minitoc.log ps-minitoc.log +# create the documentation (PDF): 4 pdflatex runs, with index and biblio pdflatex minitoc.dtx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx -sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo -sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo bibtex minitoc makeindex -s minitoc.ist -o minitoc.ind minitoc.idx mv minitoc.ilg minitoc.ilg1 -makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo -sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls -sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls +# +pdflatex 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 +# pdflatex minitoc.dtx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx -sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo -sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo makeindex -s minitoc.ist -o minitoc.ind minitoc.idx mv minitoc.ilg minitoc.ilg1 -makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo -sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls -sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls +# pdflatex minitoc.dtx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx -sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo -sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo # cleaning echo 'Cleaning' -\rm minitoc.[pm]tc* minitoc.[pm]l[ft]* +if ( -f minitoc.maf ) then + cat minitoc.maf | xargs -i -t \rm {} +endif +endif |