diff options
Diffstat (limited to 'Master/texmf-dist/scripts/minitoc/emk')
-rwxr-xr-x | Master/texmf-dist/scripts/minitoc/emk | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/minitoc/emk b/Master/texmf-dist/scripts/minitoc/emk index 47fd98eafb4..4e97cf4394b 100755 --- a/Master/texmf-dist/scripts/minitoc/emk +++ b/Master/texmf-dist/scripts/minitoc/emk @@ -6,23 +6,32 @@ if ( -f minitoc.maf ) then endif # create the english documentation (PDF): 4 pdflatex runs, with index and biblio pdflatex minitoc.dtx +touch minitoc.ind minitoc.idx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx +# grep -v 'indexentry{! =' minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx bibtex minitoc +# sed -e's/\hfill{}/&\\ATOC{/' < minitoc.ind | sed -e 's/\\hfill}/}&/' > minitoc.ind2; mv minitoc.ind2 minitoc.ind makeindex -s minitoc.ist -o minitoc.ind minitoc.idx +# sed -e's/\hfill{}/&\\ATOC{/' < minitoc.ind | sed -e 's/\\hfill}/}&/' > minitoc.ind2; mv minitoc.ind2 minitoc.ind mv minitoc.ilg minitoc.ilg1 # pdflatex minitoc.dtx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx +# grep -v 'indexentry{! =' minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx makeindex -s minitoc.ist -o minitoc.ind minitoc.idx +# sed -e's/\hfill{}/&\\ATOC{/' < minitoc.ind | sed -e 's/\\hfill}/}&/' > minitoc.ind2; mv minitoc.ind2 minitoc.ind mv minitoc.ilg minitoc.ilg1 # pdflatex minitoc.dtx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx +# grep -v 'indexentry{! =' minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx makeindex -s minitoc.ist -o minitoc.ind minitoc.idx +# sed -e's/\hfill{}/&\\ATOC{/' < minitoc.ind | sed -e 's/\\hfill}/}&/' > minitoc.ind2; mv minitoc.ind2 minitoc.ind mv minitoc.ilg minitoc.ilg1 # pdflatex minitoc.dtx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx +# grep -v 'indexentry{! =' minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx # cleaning echo 'Cleaning' if ( -f minitoc.maf ) then |