diff options
author | Karl Berry <karl@freefriends.org> | 2009-05-23 23:10:50 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-05-23 23:10:50 +0000 |
commit | 40c62ba956478b3135c969ecde68aba68703c69d (patch) | |
tree | e0d03f0a9b4dbd48313142b17c824bc75d2153ce /Master/texmf-dist/doc/latex/minitoc/emk | |
parent | 23972caf1157935c20dc48330507693540f304a2 (diff) |
minitoc non-tds update (22may09)
git-svn-id: svn://tug.org/texlive/trunk@13434 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/emk')
-rw-r--r-- | Master/texmf-dist/doc/latex/minitoc/emk | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/emk b/Master/texmf-dist/doc/latex/minitoc/emk new file mode 100644 index 00000000000..74bd3410906 --- /dev/null +++ b/Master/texmf-dist/doc/latex/minitoc/emk @@ -0,0 +1,36 @@ +#! /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 +touch minitoc.ind minitoc.idx +pdflatex minitoc.dtx +grep -v '\\ \[]\|' minitoc.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > minitoc.idx1; mv minitoc.idx1 minitoc.idx +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 +grep -v '\\ \[]\|' minitoc.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > minitoc.idx1; mv minitoc.idx1 minitoc.idx +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 +grep -v '\\ \[]\|' minitoc.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > minitoc.idx1; mv minitoc.idx1 minitoc.idx +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 +grep -v '\\ \[]\|' minitoc.idx | grep -v '|main}{1}$' | grep -v '\! =\\verb\!\*+\!\\\! +' > minitoc.idx1; mv minitoc.idx1 minitoc.idx +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 |