summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/minitoc/emk
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-05-23 23:10:50 +0000
committerKarl Berry <karl@freefriends.org>2009-05-23 23:10:50 +0000
commit40c62ba956478b3135c969ecde68aba68703c69d (patch)
treee0d03f0a9b4dbd48313142b17c824bc75d2153ce /Master/texmf-dist/doc/latex/minitoc/emk
parent23972caf1157935c20dc48330507693540f304a2 (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/emk36
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