diff options
Diffstat (limited to 'Master/texmf-dist/scripts/minitoc/fmk')
-rwxr-xr-x | Master/texmf-dist/scripts/minitoc/fmk | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/minitoc/fmk b/Master/texmf-dist/scripts/minitoc/fmk new file mode 100755 index 00000000000..1acc57b1757 --- /dev/null +++ b/Master/texmf-dist/scripts/minitoc/fmk @@ -0,0 +1,30 @@ +#! /bin/csh +if ( -f fminitoc.dtx ) then +echo 'Creating the french documentation...' +if ( -f fminitoc.maf ) then + \rm fminitoc.maf +endif +# create the french documentation (PDF): 4 pdflatex runs, with index and biblio +pdflatex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +bibtex fminitoc +makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx +mv fminitoc.ilg fminitoc.ilg1 +# +pdflatex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx +mv fminitoc.ilg fminitoc.ilg1 +# +pdflatex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx +mv fminitoc.ilg fminitoc.ilg1 +# +pdflatex fminitoc.dtx +sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +# Cleaning +if ( -f fminitoc.maf ) then + cat fminitoc.maf | xargs -i -t \rm {} +endif +endif |