summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/minitoc/emk
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/emk')
-rwxr-xr-xMaster/texmf-dist/doc/latex/minitoc/emk31
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