summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/minitoc/fmk
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/minitoc/fmk')
-rwxr-xr-xMaster/texmf-dist/doc/latex/minitoc/fmk24
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