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
|
#!/bin/sh
#########################################################################
##
#W make_doc make SONATA Package documentation Alexander Hulpke
##
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; $PDFTEX manual; $BIBTEX manual;\
$PDFTEX manual; $GAPMANUALINDEX manual;\
$PDFTEX manual; $PDFTEX manual; $PDFTEX manual;)
echo "TeXing documentation:tut"
(cd tut; $PDFTEX manual; $BIBTEX manual;\
$PDFTEX manual; $GAPMANUALINDEX manual;\
$PDFTEX manual; $PDFTEX manual; $PDFTEX manual;)
# The HTML version of the manual
mkdir -p ../htm
mkdir -p ../htm/ref
mkdir -p ../htm/tut
echo "Creating HTML documentation:ref"
(cd ref; $GAPCONVERT -t -c -n SONATA . ../../htm/ref)
(cd ../htm/ref;for d in *.htm; do sed -i -e 's|<cite>\([^ .,]\+\)</cite>|<cite>[\1]</cite>|g' $d ; done;)
#(cd ref;/home/staff/juergen/SSOONNAATTAA/gap/etc/convert.pl -t -c -n SONATA . ../../htm/ref)
echo "Creating HTML documentation:tut"
(cd tut; $GAPCONVERT -t -c -n SONATA-tutorial . ../../htm/tut)
(cd ../htm/tut;for d in *.htm; do sed -i -e 's|<cite>\([^ .,]\+\)</cite>|<cite>[\1]</cite>|g' $d ; done;)
#(cd tut;/home/staff/juergen/SSOONNAATTAA/gap/etc/convert.pl -t -c -n SONATA-tutorial . ../../htm/tut)
#########################################################################
##
#E
|
