From: Glenn Morris <rgm@gnu.org>
Date: Wed, 7 Jun 2017 17:41:46 +0000 (-0400)
Subject: * make-dist: Check a release has a ChangeLog with a release notice.
X-Git-Tag: emacs-26.0.90~521^2~148
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=b1103a2c4f36038cbb30caba6a199744acc9e0d9;p=emacs.git

* make-dist: Check a release has a ChangeLog with a release notice.
---

diff --git a/make-dist b/make-dist
index 0e012071640..1b4eae3e7db 100755
--- a/make-dist
+++ b/make-dist
@@ -297,6 +297,21 @@ if [ $check = yes ]; then
       make --question info || error=yes
   fi
 
+  ## Is this a release?
+  case $version in
+      [1-9][0-9].[0-9])
+          if [ -e ChangeLog ]; then
+              if ! grep -q "Version $version released" ChangeLog; then
+                  echo "No release notice in ChangeLog"
+                  error=yes
+              fi
+          else
+              echo "A release must have a ChangeLog"
+              error=yes
+          fi
+      ;;
+  esac
+
   if [ $error = yes ]; then
       echo "Failed checks" >&2
       exit 1