X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fmake-doc.sh;h=76da726d28adbf5f9b7b4331ba04835515c26fe5;hb=d56803388a0a0a35e1889596f928b367c650c15b;hp=8ce31069f58d002faa2e1eb7f4659997d7c1b2f3;hpb=d336ca31c57c48cfda3e3b5510c52c91e6e8f7b9;p=sbcl.git

diff --git a/doc/make-doc.sh b/doc/make-doc.sh
index 8ce3106..76da726 100644
--- a/doc/make-doc.sh
+++ b/doc/make-doc.sh
@@ -1,3 +1,6 @@
 #!/bin/sh
 
-(cd ./manual ; make html)
+. ../find-gnumake.sh
+find_gnumake
+
+(cd ./manual ; $GNUMAKE html)