0.7.2.5:
[sbcl.git] / doc / make-doc.sh
1 #!/bin/sh
2
3 # Where is Jade? (i.e. James Clark's implementation of DSSSL, or
4 # something offsprung)
5 if [ "" != "$JADE" ]; then
6     # The user has told us where to find jade, good.
7     echo using JADE=$JADE
8 elif which openjade > /dev/null; then
9     # OpenJade is the version of Jade which comes with OpenBSD 2.9, 
10     # and I started using it in sbcl-0.pre7.x. -- WHN
11     JADE=openjade
12 elif which jade > /dev/null; then
13     # I used the original Jade until sbcl-0.pre7.x. It might still
14     # work. -- WHN
15     JADE=jade
16 else
17     echo "can't find Jade, sorry"
18     exit 1
19 fi
20
21 # Our hacked sbcl-html.dsl directs HTML output to html/. Make a clean slate.
22 rm -rf html
23 mkdir html
24
25 $JADE -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml