0.8.10.16:

Teach clean.sh about the new doc/manual/ stuff.
This commit is contained in:
William Harold Newman 2004-05-09 20:26:27 +00:00
parent c0ea1cc4a9
commit bfdb13b52f
4 changed files with 9 additions and 3 deletions

View file

@ -2,5 +2,6 @@
. ../find-gnumake.sh
find_gnumake
$GNUMAKE clean
(cd manual; sh clean.sh)

5
doc/manual/clean.sh Normal file
View file

@ -0,0 +1,5 @@
#!/bin/sh
. ../../find-gnumake.sh
find_gnumake
$GNUMAKE clean

View file

@ -18,5 +18,5 @@ find_gnumake() {
exit 1
fi
export GNUMAKE
echo "//GNUMAKE=\"$GNUMAKE\""
#echo "//GNUMAKE=\"$GNUMAKE\""
}

View file

@ -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"