diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/fmk')
| -rwxr-xr-x | Master/texmf-dist/doc/latex/minitoc/fmk | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/Master/texmf-dist/doc/latex/minitoc/fmk b/Master/texmf-dist/doc/latex/minitoc/fmk index 1c656221cd7..1acc57b1757 100755 --- a/Master/texmf-dist/doc/latex/minitoc/fmk +++ b/Master/texmf-dist/doc/latex/minitoc/fmk @@ -1,33 +1,9 @@ #! /bin/csh -set HEADER=duplex2v.pro if ( -f fminitoc.dtx ) then echo 'Creating the french documentation...' if ( -f fminitoc.maf ) then \rm fminitoc.maf endif -# create the french documentation (DVI): 4 latex runs, with index and biblio -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 -# -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 -# -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 -# -latex fminitoc.dtx -sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx -# convert the .dvi into PostScript -# change the printer type -dvips -h $HEADER -o fminitoc.ps fminitoc -cp fminitoc.log ps-fminitoc.log # create the french documentation (PDF): 4 pdflatex runs, with index and biblio pdflatex fminitoc.dtx sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx |