diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/emk')
-rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/emk | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/emk b/Master/texmf-dist/doc/latex/minitoc/emk index 0aa176a4c62..c838b82f512 100755 --- a/Master/texmf-dist/doc/latex/minitoc/emk +++ b/Master/texmf-dist/doc/latex/minitoc/emk @@ -10,17 +10,17 @@ latex 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 +mv minitoc.ilg minitoc.ilg1 # 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 +mv minitoc.ilg minitoc.ilg1 # 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 +mv minitoc.ilg minitoc.ilg1 # latex minitoc.dtx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx @@ -33,17 +33,17 @@ 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 +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 +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 +mv minitoc.ilg minitoc.ilg1 # pdflatex minitoc.dtx sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx |