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 (file)
--- 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 (file)
--- 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"