blob: 9ccd8b8edf809b07d7fd8c2a9bcebe9e58d6a9bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
#! /bin/csh
set IMP=l4si2
if ( -f fminitoc.dtx ) then
echo 'Creating the french documentation...'
# create the french documentation (DVI): 3 latex runs, with index and biblio
latex fminitoc.dtx
sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
bibtex fminitoc
makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx
mv fminitoc.ilg fminitoc.ilg1
makeindex -s mtcglo.ist -o fminitoc.gls fminitoc.glo
sed -e's/subitem *\\ /subitem /' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls
sed -e's/[ ]*0$/ \\mbox{}/' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls
latex fminitoc.dtx
sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx
mv fminitoc.ilg fminitoc.ilg1
makeindex -s mtcglo.ist -o fminitoc.gls fminitoc.glo
sed -e's/subitem *\\ /subitem /' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls
sed -e's/[ ]*0$/ \\mbox{}/' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls
latex fminitoc.dtx
sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
# convert the .dvi into PostScript
# change the printer type
dvips -P$IMP -o fminitoc.ps fminitoc
# create the french documentation (PDF): 3 pdflatex runs, with index and biblio
pdflatex fminitoc.dtx
sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
bibtex fminitoc
makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx
mv fminitoc.ilg fminitoc.ilg1
makeindex -s mtcglo.ist -o fminitoc.gls fminitoc.glo
sed -e's/subitem *\\ /subitem /' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls
sed -e's/[ ]*0$/ \\mbox{}/' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls
pdflatex fminitoc.dtx
sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
makeindex -s fminitoc.ist -o fminitoc.ind fminitoc.idx
mv fminitoc.ilg fminitoc.ilg1
makeindex -s mtcglo.ist -o fminitoc.gls fminitoc.glo
sed -e's/subitem *\\ /subitem /' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls
sed -e's/[ ]*0$/ \\mbox{}/' < fminitoc.gls > fminitoc.gls1; mv fminitoc.gls1 fminitoc.gls
pdflatex fminitoc.dtx
sed -e's/:>/=/' < fminitoc.idx > fminitoc.idx1; mv fminitoc.idx1 fminitoc.idx
sed -e's/:>/>/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
sed -e's/{[0-9]*}$/{0}/' < fminitoc.glo > fminitoc.glo1; mv fminitoc.glo1 fminitoc.glo
# Cleaning
\rm fminitoc.[pm]tc* fminitoc.[pm]l[ft]*
|
