diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/fmk')
| -rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/fmk | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/fmk b/Master/texmf-dist/doc/latex/minitoc/fmk new file mode 100755 index 00000000000..9ccd8b8edf8 --- /dev/null +++ b/Master/texmf-dist/doc/latex/minitoc/fmk @@ -0,0 +1,57 @@ +#! /bin/csh +set IMP=l4si2 +if ( -f fminitoc.dtx ) then +echo 'Creating the french documentation...' +# create the french documentation (DVI): 3 latex runs, with index and biblio +latex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +bibtex fminitoc +makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx +mv fminitoc.ilg fminitoc.ilg1 +makeindex -s mtcglo.ist -o fminitoc.gls fminitoc.glo +sed -e's/subitem *\\ /subitem /' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls +sed -e's/[ ]*0$/ \\mbox{}/' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls +latex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx +mv fminitoc.ilg fminitoc.ilg1 +makeindex -s mtcglo.ist -o fminitoc.gls fminitoc.glo +sed -e's/subitem *\\ /subitem /' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls +sed -e's/[ ]*0$/ \\mbox{}/' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls +latex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +# convert the .dvi into PostScript +# change the printer type +dvips -P$IMP -o fminitoc.ps fminitoc +# create the french documentation (PDF): 3 pdflatex runs, with index and biblio +pdflatex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +bibtex fminitoc +makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx +mv fminitoc.ilg fminitoc.ilg1 +makeindex -s mtcglo.ist -o fminitoc.gls fminitoc.glo +sed -e's/subitem *\\ /subitem /' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls +sed -e's/[ ]*0$/ \\mbox{}/' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls +pdflatex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx +mv fminitoc.ilg fminitoc.ilg1 +makeindex -s mtcglo.ist -o fminitoc.gls fminitoc.glo +sed -e's/subitem *\\ /subitem /' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls +sed -e's/[ ]*0$/ \\mbox{}/' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls +pdflatex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo +# Cleaning +\rm fminitoc.[pm]tc* fminitoc.[pm]l[ft]* |