From: NIIMI Satoshi <sa2c@users.sourceforge.net>
Date: Thu, 19 Apr 2007 15:48:54 +0000 (+0000)
Subject: 1.0.4.107: fix doc/make-doc.sh if "make" command is not GNU make.
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=a3cecc60196709098b0f189592be91acb0af9ae0;p=sbcl.git

1.0.4.107: fix doc/make-doc.sh if "make" command is not GNU make.

First build problem found by James Knight's BuildBot. :-)
---

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)
diff --git a/version.lisp-expr b/version.lisp-expr
index ce17ba4..ce77269 100644
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"1.0.4.106"
+"1.0.4.107"