X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fmake-doc.sh;h=7acbe370236873649fe687914c72a1779705153c;hb=cd13034f9415f64cdaa05893a4ac5ff1e95c97bd;hp=4be93f8e7b892b53ad9b3c626de02a0e847a8b6f;hpb=89df0fb4a1d8f2b799933ce4ca5be713512f0923;p=sbcl.git

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 4be93f8..7acbe37 100644
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,21 +1,19 @@
 #!/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
+. ../find-gnumake.sh
+find_gnumake
+
+# Where is xsltproc? 
+if [ "" != "$XSLTPROC" ]; then
+    # The user has told us where to find xsltproc, good.
+    echo using XSLTPROC=$XSLTPROC
+elif which xsltproc > /dev/null; then
+    # We have found it ourselves.
+    XSLTPROC=xsltproc
 else
-    echo "can't find Jade, sorry"
+    echo "can't find xsltproc, sorry"
     exit 1
 fi
 
-rm -f book1.htm
-$JADE -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml
-ln -sf book1.htm user-manual.html
+export XSLTPROC
+$GNUMAKE html