diff options
| -rw-r--r-- | Makefile.maint | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Makefile.maint b/Makefile.maint index 313be9007..f297badbb 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -205,6 +205,15 @@ makefile-check: grep -E '@[A-Z_0-9]+@' `find . -name Makefile.am` \ && { echo 'Makefile.maint: use $(...), not @...@' 1>&2; exit 1; } || : +news-date-check: NEWS + today=`date +%Y-%m-%d`; \ + if head NEWS | grep '^\*.*'$$today >/dev/null; then \ + :; \ + else \ + echo "today's date is not in NEWS" 1>&2; \ + exit 1; \ + fi + changelog-check: if head ChangeLog | grep 'Version $(VERSION)' >/dev/null; then \ :; \ @@ -502,7 +511,7 @@ $(xd-delta): $(release_archive_dir)/$(prev-tgz) $(distdir).tar.gz xdelta delta -9 $^ $@ || : .PHONY: alpha beta major -alpha beta major: $(local-check) +alpha beta major: news-date-check $(local-check) $(MAKE) cvs-dist $(MAKE) $(xd-delta) $(MAKE) -s announcement RELEASE_TYPE=$@ > /tmp/announce-$(my_distdir) |