diff options
Diffstat (limited to 'Master/texmf-dist/scripts/minitoc/fmk')
-rwxr-xr-x | Master/texmf-dist/scripts/minitoc/fmk | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/Master/texmf-dist/scripts/minitoc/fmk b/Master/texmf-dist/scripts/minitoc/fmk index aca8772dc47..3f3095764ea 100755 --- a/Master/texmf-dist/scripts/minitoc/fmk +++ b/Master/texmf-dist/scripts/minitoc/fmk @@ -1,35 +1,35 @@ #! /bin/csh -if ( -f fminitoc.dtx ) then +if ( -f minitoc-fr.dtx ) then echo 'Creating the french documentation...' -if ( -f fminitoc.maf ) then - \rm fminitoc.maf +if ( -f minitoc-fr.maf ) then + \rm minitoc-fr.maf endif # create the french documentation (PDF): 4 pdflatex runs, with index and biblio -touch fminitoc.idx fminitoc.ind -pdflatex fminitoc.dtx -grep -v '\\ \[]\|' fminitoc.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx -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 +touch minitoc-fr.idx minitoc-fr.ind +pdflatex minitoc-fr.dtx +grep -v '\\ \[]\|' minitoc-fr.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > minitoc-fr.idx1; mv minitoc-fr.idx1 minitoc-fr.idx +sed -e's/:>/=/' < minitoc-fr.idx > minitoc-fr.idx1; mv minitoc-fr.idx1 minitoc-fr.idx +bibtex minitoc-fr +makeindex -s minitoc-fr.ist -o minitoc-fr.ind minitoc-fr.idx +mv minitoc-fr.ilg minitoc-fr.ilg1 # -pdflatex fminitoc.dtx -grep -v '\\ \[]\|' fminitoc.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx -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 minitoc-fr.dtx +grep -v '\\ \[]\|' minitoc-fr.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > minitoc-fr.idx1; mv minitoc-fr.idx1 minitoc-fr.idx +sed -e's/:>/=/' < minitoc-fr.idx > minitoc-fr.idx1; mv minitoc-fr.idx1 minitoc-fr.idx +makeindex -s minitoc-fr.ist -o minitoc-fr.ind minitoc-fr.idx +mv minitoc-fr.ilg minitoc-fr.ilg1 # -pdflatex fminitoc.dtx -grep -v '\\ \[]\|' fminitoc.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx -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 minitoc-fr.dtx +grep -v '\\ \[]\|' minitoc-fr.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > minitoc-fr.idx1; mv minitoc-fr.idx1 minitoc-fr.idx +sed -e's/:>/=/' < minitoc-fr.idx > minitoc-fr.idx1; mv minitoc-fr.idx1 minitoc-fr.idx +makeindex -s minitoc-fr.ist -o minitoc-fr.ind minitoc-fr.idx +mv minitoc-fr.ilg minitoc-fr.ilg1 # -pdflatex fminitoc.dtx -grep -v '\\ \[]\|' fminitoc.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx -sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx +pdflatex minitoc-fr.dtx +grep -v '\\ \[]\|' minitoc-fr.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > minitoc-fr.idx1; mv minitoc-fr.idx1 minitoc-fr.idx +sed -e's/:>/=/' < minitoc-fr.idx > minitoc-fr.idx1; mv minitoc-fr.idx1 minitoc-fr.idx # Cleaning -if ( -f fminitoc.maf ) then - cat fminitoc.maf | xargs -i -t \rm {} +if ( -f minitoc-fr.maf ) then + cat minitoc-fr.maf | xargs -i -t \rm {} endif endif |