diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/emk')
-rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/emk | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/emk b/Master/texmf-dist/doc/latex/minitoc/emk deleted file mode 100755 index 47fd98eafb4..00000000000 --- a/Master/texmf-dist/doc/latex/minitoc/emk +++ /dev/null @@ -1,31 +0,0 @@ -#! /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 |