diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/fmk')
-rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/fmk | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/fmk b/Master/texmf-dist/doc/latex/minitoc/fmk index 05576625e90..1c656221cd7 100755 --- a/Master/texmf-dist/doc/latex/minitoc/fmk +++ b/Master/texmf-dist/doc/latex/minitoc/fmk @@ -10,17 +10,17 @@ latex fminitoc.dtx sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx bibtex fminitoc makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx -mv fminitoc.ilg fminitoc.ilg1 +mv fminitoc.ilg fminitoc.ilg1 # latex fminitoc.dtx sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx -mv fminitoc.ilg fminitoc.ilg1 +mv fminitoc.ilg fminitoc.ilg1 # latex fminitoc.dtx sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx -mv fminitoc.ilg fminitoc.ilg1 +mv fminitoc.ilg fminitoc.ilg1 # latex fminitoc.dtx sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx @@ -33,17 +33,17 @@ pdflatex fminitoc.dtx sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx bibtex fminitoc makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx -mv fminitoc.ilg fminitoc.ilg1 +mv fminitoc.ilg fminitoc.ilg1 # pdflatex fminitoc.dtx sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx -mv fminitoc.ilg fminitoc.ilg1 +mv fminitoc.ilg fminitoc.ilg1 # pdflatex fminitoc.dtx sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx -mv fminitoc.ilg fminitoc.ilg1 +mv fminitoc.ilg fminitoc.ilg1 # pdflatex fminitoc.dtx sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx |