X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fmake-doc.sh;h=76da726d28adbf5f9b7b4331ba04835515c26fe5;hb=81ec57681357e803327c4be7351274bc32a0f419;hp=7acbe370236873649fe687914c72a1779705153c;hpb=d1b34780e8c44ecf1034aa30d4f2c0e2c492ca7a;p=sbcl.git

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 7acbe37..76da726 100644
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -3,17 +3,4 @@
 . ../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
+(cd ./manual ; $GNUMAKE html)