blob: 6501a201f8259f45d9ed55988be12b0ba831e168 (
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
58
|
#! /bin/csh
set IMP=l4si2
if ( -f minitoc.dtx ) then
echo 'Creating the english documentation...'
# create the english documentation (DVI): 3 latex runs, with index and biblio
latex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
bibtex minitoc
makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
mv minitoc.ilg minitoc.ilg1
makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo
sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
latex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
mv minitoc.ilg minitoc.ilg1
makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo
sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
latex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
# convert the .dvi into PostScript
# change the printer type
dvips -P$IMP -o minitoc.ps minitoc
# create the documentation (PDF): 3 pdflatex runs, with index and biblio
pdflatex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
bibtex minitoc
makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
mv minitoc.ilg minitoc.ilg1
makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo
sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
pdflatex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
makeindex -s minitoc.ist -o minitoc.ind minitoc.idx
mv minitoc.ilg minitoc.ilg1
makeindex -s mtcglo.ist -o minitoc.gls minitoc.glo
sed -e's/subitem *\\ /subitem /' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
sed -e's/[ ]*0$/ \\mbox{}/' < minitoc.gls > minitoc.gls1; mv minitoc.gls1 minitoc.gls
pdflatex minitoc.dtx
sed -e's/:>/=/' < minitoc.idx > minitoc.idx1; mv minitoc.idx1 minitoc.idx
sed -e's/:>/>/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
sed -e's/{[0-9]*}$/{0}/' < minitoc.glo > minitoc.glo1; mv minitoc.glo1 minitoc.glo
# cleaning
echo 'Cleaning'
\rm minitoc.[pm]tc* minitoc.[pm]l[ft]*
|
