summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/minitoc/emk
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/scripts/minitoc/emk')
-rwxr-xr-xMaster/texmf-dist/scripts/minitoc/emk31
1 files changed, 31 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/minitoc/emk b/Master/texmf-dist/scripts/minitoc/emk
new file mode 100755
index 00000000000..47fd98eafb4
--- /dev/null
+++ b/Master/texmf-dist/scripts/minitoc/emk
@@ -0,0 +1,31 @@
+#! /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