diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/emk')
-rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/emk | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/emk b/Master/texmf-dist/doc/latex/minitoc/emk new file mode 100755 index 00000000000..6501a201f82 --- /dev/null +++ b/Master/texmf-dist/doc/latex/minitoc/emk @@ -0,0 +1,58 @@ +#! /bin/csh +set IMP=l4si2 +if ( -f minitoc.dtx ) then +echo 'Creating the english documentation...' +# create the english documentation (DVI): 3 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 +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 +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 +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]* |