X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fmake-doc.sh;h=76da726d28adbf5f9b7b4331ba04835515c26fe5;hb=031646c3b8236eb441434664e10fb88f8e7ec7be;hp=01f1ea5bcce0f4981ed278fc6cb1902ce72a029e;hpb=a916a69266eb866d40da1a195a133258da35b668;p=sbcl.git

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 01f1ea5..76da726 100644
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,25 +1,6 @@
 #!/bin/sh
 
-# Where is Jade? (i.e. James Clark's implementation of DSSSL, or
-# something offsprung)
-if [ "" != "$JADE" ]; then
-    # The user has told us where to find jade, good.
-    echo using JADE=$JADE
-elif which openjade > /dev/null; 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 > /dev/null; 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
+. ../find-gnumake.sh
+find_gnumake
 
-# Our hacked sbcl-html.dsl directs HTML output to html/. Make a clean slate.
-rm -rf html
-mkdir html
-
-$JADE -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml
+(cd ./manual ; $GNUMAKE html)