0.pre7.81:

[sbcl.git] / doc / make-doc.sh

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 76867e6..4be93f8 100644 (file)
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,5 +1,21 @@
 #!/bin/sh
 
+if [ "" != "$JADE" ]; then
+    # The user has told us where to find jade, good.
+    echo using $JADE
+elif which openjade; then
+    # OpenJade is the version of Jade which comes with OpenBSD 2.9, 
+    # and I started using it in sbcl-0.pre7.x. -- WHN
+    JADE=openjade
+elif which jade; then
+    # I used the original Jade until sbcl-0.pre7.x. It might still
+    # work. -- WHN
+    JADE=jade
+else
+    echo "can't find Jade, sorry"
+    exit 1
+fi
+
 rm -f book1.htm
-jade -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml
+$JADE -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml
 ln -sf book1.htm user-manual.html