diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/minitoc/fmk |
Initial commit
Diffstat (limited to 'macros/latex/contrib/minitoc/fmk')
-rw-r--r-- | macros/latex/contrib/minitoc/fmk | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/macros/latex/contrib/minitoc/fmk b/macros/latex/contrib/minitoc/fmk new file mode 100644 index 0000000000..5a65fd79f0 --- /dev/null +++ b/macros/latex/contrib/minitoc/fmk @@ -0,0 +1,35 @@ +#! /bin/csh -f +if ( -f minitoc-fr.dtx ) then +echo 'Creating the french documentation...' +if ( -f minitoc-fr.maf ) then + \rm minitoc-fr.maf +endif +# create the french documentation (PDF): 4 pdflatex runs, with index and biblio +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 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 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 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 minitoc-fr.maf ) then + cat minitoc-fr.maf | xargs -i -t \rm {} +endif +endif |