From a3cecc60196709098b0f189592be91acb0af9ae0 Mon Sep 17 00:00:00 2001 From: NIIMI Satoshi Date: Thu, 19 Apr 2007 15:48:54 +0000 Subject: [PATCH] 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. :-) --- doc/make-doc.sh | 5 ++++- version.lisp-expr | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) 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" -- 1.7.10.4