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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
#!/bin/sh
set -e
GAPDATADIR=/usr/share/gap
TEXINPUTS=$GAPDATADIR/etc:${TEXINPUTS}
export TEXINPUTS
PDFTEX='/usr/bin/pdftex -no-shell-escape -interaction batchmode'
BIBTEX=/usr/bin/bibtex
GAPMANUALINDEX=$GAPDATADIR/etc/manualindex
GAPCONVERT=$GAPDATADIR/etc/convert.pl
echo "TeXing documentation:ref"
# TeX the manual and build its bibliography
# CAVEAT: For version 2.4 manualindex did not produce a proper file manual.mst
# for the reference-manual, hence no index. Copying manual.mst for the
# tutorial-manual into the directory ref/ did the trick.
cd ref
# delete old stuff to avoid spurious or "hidden errors" caused by their presence
rm -f manual.{aux,bbl,blg,dvi,idx,ilg,ind,lab,log,pdf,ps,six,toc}
# TeX the manual
$PDFTEX manual
# ... and build its bibliography
$BIBTEX manual
# TeX the manual again to incorporate the ToC
$PDFTEX manual
# ... and build the index
$GAPMANUALINDEX manual
# Finally TeX the manual again to get cross-references right
$PDFTEX manual
# Create PDF version
$PDFTEX manual
$PDFTEX manual
cd ..
echo "TeXing documentation:tut"
cd tut
# delete old stuff to avoid spurious or "hidden errors" caused by their presence
rm -f manual.{aux,bbl,blg,dvi,idx,ilg,ind,lab,log,pdf,ps,six,toc}
# TeX the manual
$PDFTEX manual
# ... and build its bibliography
$BIBTEX manual
# TeX the manual again to incorporate the ToC
$PDFTEX manual
# ... and build the index
$GAPMANUALINDEX manual
# Finally TeX the manual again to get cross-references right
$PDFTEX manual
# Create PDF version
$PDFTEX manual
$PDFTEX manual
cd ..
# The HTML version of the manual
rm -rf htm
mkdir -p htm/ref
mkdir -p htm/tut
echo "Creating HTML documentation:ref"
cd ref
$GAPCONVERT -i -u -c -n SONATA . ../htm/ref
cd ../htm/ref
for d in *.htm; do
sed 's/cite\([^ .,]\+\)/[\1]/g' < $d > tmp
cp tmp $d
done
rm -f tmp
cd ../..
#(cd ref;/home/staff/juergen/SSOONNAATTAA/gap/etc/convert.pl -t -c -n SONATA . ../htm/ref)
echo "Creating HTML documentation:tut"
cd tut
$GAPCONVERT -i -u -c -n SONATA-tutorial . ../htm/tut
cd ../htm/tut
for d in *.htm; do
sed 's/cite\([^ .,]\+\)/[\1]/g' < $d > tmp
cp tmp $d
done
rm -f tmp
cd ../..
|
