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
|
#!/bin/sh
#########################################################################
##
#W make_doc make SONATA Package documentation Alexander Hulpke
##
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
# TeX the manual and build its bibliography
$PDFTEX manual; $BIBTEX manual
# TeX the manual again to incorporate the ToC ... and build the index
$PDFTEX manual; $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
# TeX the manual and build its bibliography
$PDFTEX manual; $BIBTEX manual
# TeX the manual again to incorporate the ToC ... and build the index
$PDFTEX manual; $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 ../..
|
