diff options
| author | Paul Smith <psmith@gnu.org> | 2014-10-05 12:18:08 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2014-10-05 12:18:08 -0400 |
| commit | a66bf2d736f4e7a09f8528b5a06a7125688d6a2d (patch) | |
| tree | 3a023f53af0986fa8f5c014d7ec03ac8d8089ff4 | |
| parent | 31c2024b2e269d96a49562e3b3b3c501c5088b9f (diff) | |
| download | gunmake-a66bf2d736f4e7a09f8528b5a06a7125688d6a2d.tar.gz | |
GNU Make release 4.1.4.1
| -rw-r--r-- | NEWS | 4 | ||||
| -rw-r--r-- | README.git | 7 | ||||
| -rw-r--r-- | configure.ac | 2 | ||||
| -rw-r--r-- | maintMakefile | 4 |
4 files changed, 10 insertions, 7 deletions
@@ -1,6 +1,6 @@ GNU make NEWS -*-indented-text-*- History of user-visible changes. - 30 Sep 2014 + 05 Oct 2014 See the end of this file for copyrights and conditions. @@ -9,7 +9,7 @@ manual, which is contained in this distribution as the file doc/make.texi. See the README file and the GNU make manual for instructions for reporting bugs. -Version 4.0.90 (30 Sep 2014) +Version 4.1 (05 Oct 2014) A complete list of bugs fixed in this version is available here: @@ -171,8 +171,11 @@ consistent (that's why we don't finalize the Git tag, etc. until the end). "Fixed Release" ID number. * Run "make distcheck" to be sure it all works. * Run "make check-alt-config" to be sure alternative configurations work - * Run "make update-www" to get a copy of the GNU make web pages - * Update the web page boilerplate if necessary + * Run "make update-makeweb" to get a copy of the GNU make web pages + * Run "make update-gnuweb" to get a copy of the GNU website boilerplate pages + * Update the web page boilerplate if necessary: + ../gnu-www/www/server/standards/patch-from-parent ../make-web/make.html \ + ../gnu-www/www/server/standards/boilerplate.html * Run "make gendocs" (requires gnulib) to generate the manual files for the GNU make web pages. * Follow the directions from gendocs for the web page repository diff --git a/configure.ac b/configure.ac index a6ebf3e..fab9a2d 100644 --- a/configure.ac +++ b/configure.ac @@ -16,7 +16,7 @@ # You should have received a copy of the GNU General Public License along with # this program. If not, see <http://www.gnu.org/licenses/>. -AC_INIT([GNU make],[4.0.90],[bug-make@gnu.org]) +AC_INIT([GNU make],[4.1],[bug-make@gnu.org]) AC_PREREQ([2.62]) diff --git a/maintMakefile b/maintMakefile index 463106e..f7af8d6 100644 --- a/maintMakefile +++ b/maintMakefile @@ -286,7 +286,7 @@ po-check: ## Generate docs. ## ## --------------- ## -.PHONY: update-www gendocs +.PHONY: update-makeweb gendocs CVS = cvs @@ -318,7 +318,7 @@ gendocs: update-gnuweb update-makeweb find '$(MAKEWEBDIR)'/manual \( -name CVS -prune \) -o \( -name '[!.]*' -type f -exec rm -f '{}' \; \) cp -r doc/manual '$(MAKEWEBDIR)' @echo 'Status of $(MAKEWEBDIR) repo:' && cd '$(MAKEWEBDIR)' \ - && cvs -q -n update \ + && cvs -q -n update | grep -v '^M ' \ && echo '- cvs add <new files>' \ && echo '- cvs remove <deleted files>' \ && echo '- cvs commit' \ |