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