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/emk55
1 files changed, 26 insertions, 29 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/emk b/Master/texmf-dist/doc/latex/minitoc/emk
index 6501a201f82..0aa176a4c62 100755
--- a/Master/texmf-dist/doc/latex/minitoc/emk
+++ b/Master/texmf-dist/doc/latex/minitoc/emk
@@ -1,58 +1,55 @@
#! /bin/csh
-set IMP=l4si2
+set HEADER=duplex2v.pro
if ( -f minitoc.dtx ) then
echo 'Creating the english documentation...'
-# create the english documentation (DVI): 3 latex runs, with index and biblio
+if ( -f minitoc.maf ) then
+ \rm minitoc.maf
+endif
+# create the english documentation (DVI): 4 latex runs, with index and biblio
latex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
-sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
-sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
bibtex minitoc
makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
mv minitoc.ilg minitoc.ilg1
-makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo
-sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
-sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
+#
latex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
-sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
-sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
mv minitoc.ilg minitoc.ilg1
-makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo
-sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
-sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
+#
+latex 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
+#
latex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
-sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
-sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
# convert the .dvi into PostScript
# change the printer type
-dvips -P$IMP -o minitoc.ps minitoc
-# create the documentation (PDF): 3 pdflatex runs, with index and biblio
+dvips -h $HEADER -o minitoc.ps minitoc
+cp minitoc.log ps-minitoc.log
+# create the documentation (PDF): 4 pdflatex runs, with index and biblio
pdflatex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
-sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
-sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
bibtex minitoc
makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
mv minitoc.ilg minitoc.ilg1
-makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo
-sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
-sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
+#
+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
-sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
-sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
mv minitoc.ilg minitoc.ilg1
-makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo
-sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
-sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
+#
pdflatex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
-sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
-sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
# cleaning
echo 'Cleaning'
-\rm minitoc.[pm]tc* minitoc.[pm]l[ft]*
+if ( -f minitoc.maf ) then
+ cat minitoc.maf | xargs -i -t \rm {}
+endif
+endif