X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fmake-doc.sh;h=7acbe370236873649fe687914c72a1779705153c;hb=fab1ba8d4e92ecb5d496577fc205675218911b1d;hp=76867e6ba11b79a426ab520b0f98c4f5f536e200;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 76867e6..7acbe37 100644
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,5 +1,19 @@
 #!/bin/sh
 
-rm -f book1.htm
-jade -t sgml -ihtml -d sbcl-html.dsl\#html user-manual.sgml
-ln -sf book1.htm user-manual.html
+. ../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 xsltproc, sorry"
+    exit 1
+fi
+
+export XSLTPROC
+$GNUMAKE html