diff options
author | Karl Berry <karl@freefriends.org> | 2007-03-08 15:41:08 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-03-08 15:41:08 +0000 |
commit | 6650de3b1b197274a25cdb925f6d1f1407e04dfa (patch) | |
tree | 35d2c0d96500f012bfe92d79b1ce0ef33fff40cb /Master/texmf-dist/doc/latex/minitoc/fmk | |
parent | 14d833933b27712ce59dab912670e4931bf7cdcd (diff) |
minitoc 52 (12feb07)
git-svn-id: svn://tug.org/texlive/trunk@4022 c570f23f-e606-0410-a88d-b1316a301751
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 |