summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/minitoc/emk
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/minitoc/emk
Initial commit
Diffstat (limited to 'macros/latex/contrib/minitoc/emk')
-rw-r--r--macros/latex/contrib/minitoc/emk36
1 files changed, 36 insertions, 0 deletions
diff --git a/macros/latex/contrib/minitoc/emk b/macros/latex/contrib/minitoc/emk
new file mode 100644
index 0000000000..d7a02ed56b
--- /dev/null
+++ b/macros/latex/contrib/minitoc/emk
@@ -0,0 +1,36 @@
+#! /bin/csh -f
+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