diff options
author | Karl Berry <karl@freefriends.org> | 2007-05-05 00:32:25 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-05-05 00:32:25 +0000 |
commit | 9b4d9fe2a30822e0aa2a2e8c7e21552dc58adec0 (patch) | |
tree | 645ae2b48d74eb006d6c9a8ec8b97d0a1d2e8b79 /Master/texmf-dist/doc/latex/minitoc/emk | |
parent | fa6c84fd7d86f3f01d6f2f41f5623a93a474fe99 (diff) |
minitoc 53 (23mar07), now from an author-prepared tds.zip
git-svn-id: svn://tug.org/texlive/trunk@4240 c570f23f-e606-0410-a88d-b1316a301751
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 |