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

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 53e27bc..8ce3106 100644
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,20 +1,3 @@
 #!/bin/sh
 
-. ../find-gnumake.sh
-find_gnumake
-
-# Where is xsltproc? 
-if [ "" != "$XSLTPROC" ]; then
-    # The user has told us where to find jade, good.
-    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
-    XSLTPROC=xsltproc
-else
-    echo "can't find xsltproc, sorry"
-    exit 1
-fi
-
-export XSLTPROC
-$GNUMAKE html
+(cd ./manual ; make html)