X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=inline;f=doc%2Fmake-doc.sh;h=53e27bc78a18e9b591bda926e847c045098ffa23;hb=3c5c2c265637357e88cb5bb36bcfdc5569bdea4c;hp=eead940d88fe31132ff55e241c7a8fee84f5a6a6;hpb=f6a2be77637d025bfded9430f02863c28f74f77a;p=sbcl.git

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index eead940..53e27bc 100644
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,31 +1,20 @@
 #!/bin/sh
 
-# Where is Jade? (i.e. James Clark's implementation of DSSSL, or
-# something offsprung)
-if [ "" != "$JADE" ]; then
+. ../find-gnumake.sh
+find_gnumake
+
+# Where is xsltproc? 
+if [ "" != "$XSLTPROC" ]; 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, 
+    echo using XSLTPROC=$XSLTPROC
+elif which xsltproc > /dev/null; then
+    # Openxsltproc is the version of xsltproc 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
+    XSLTPROC=xsltproc
 else
-    echo "can't find Jade, sorry"
+    echo "can't find xsltproc, sorry"
     exit 1
 fi
 
-# Since Jade has strange ideas about the name of the top level output
-# file, use a symlink as a workaround to provide a reasonable entry
-# point.
-#
-# (KLUDGE: Why does the output always come out in book1.htm? According
-# to the docs of OpenJade 1.3, it should be coming out in
-# user-manual.htm by default, I think. And it should respect the -o
-# option. But experimentally that seems not to be. -- WHN 2002-01-15)
-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