0.8.10.16:

	Teach clean.sh about the new doc/manual/ stuff.

diff --git a/doc/clean.sh b/doc/clean.sh
index ef5008a..ceeb298 100644 (file)
--- a/doc/clean.sh
+++ b/doc/clean.sh
@@ -2,5 +2,6 @@
 
 . ../find-gnumake.sh
 find_gnumake
-
 $GNUMAKE clean
+
+(cd manual; sh clean.sh)

diff --git a/doc/manual/clean.sh b/doc/manual/clean.sh
new file mode 100644 (file)
index 0000000..38fdea9
--- /dev/null
+++ b/doc/manual/clean.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+. ../../find-gnumake.sh
+find_gnumake
+$GNUMAKE clean

diff --git a/find-gnumake.sh b/find-gnumake.sh
index 6f6e84d..e32c3a1 100644 (file)
--- a/find-gnumake.sh
+++ b/find-gnumake.sh
@@ -18,5 +18,5 @@ find_gnumake() {
     exit 1
   fi
   export GNUMAKE
-  echo "//GNUMAKE=\"$GNUMAKE\""
+  #echo "//GNUMAKE=\"$GNUMAKE\""
 }

diff --git a/version.lisp-expr b/version.lisp-expr
index 252a5da..879865e 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".)
-"0.8.10.15"
+"0.8.10.16"