# HG changeset patch
# User Akim Demaille <akim@lrde.epita.fr>
# Date 1341494168 -7200
# Node ID d5fecd1974fb44008a1a3082f38cd2bee92cf7e2
# Parent  e95b3617aed57f60e43d7f9695891fa8c025eb25
do-release-commit-and-tag: fix typo

* build-aux/do-release-commit-and-tag: Be sure that NEWS does
_not_ start with a stub.

diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2012-07-05  Akim Demaille  <akim@lrde.epita.fr>
+
+	do-release-commit-and-tag: fix typo
+	* build-aux/do-release-commit-and-tag: Be sure that NEWS does
+	_not_ start with a stub.
+
 2012-07-04  Paul Eggert  <eggert@cs.ucla.edu>
 
 	pthread: check for pthread_create, not pthread_join
diff --git a/build-aux/do-release-commit-and-tag b/build-aux/do-release-commit-and-tag
--- a/build-aux/do-release-commit-and-tag
+++ b/build-aux/do-release-commit-and-tag
@@ -3,7 +3,7 @@
 # controlled .prev-version file, automate the procedure by which we record
 # the date, release-type and version string in the NEWS file.  That commit
 # will serve to identify the release, so apply a signed tag to it as well.
-VERSION=2012-06-07.15 # UTC
+VERSION=2012-07-05.13 # UTC
 
 # Note: this is a bash script (could be zsh or dash)
 
@@ -130,7 +130,7 @@
   || die "failed to determine package name from $Makefile"
 
 # simple check: no question marks on line 3 of NEWS
-test "$(sed -n 3p NEWS)" = "$noteworthy_stub" \
+test "$(sed -n 3p NEWS)" != "$noteworthy_stub" \
   || die 'line 3 of NEWS looks fishy!'
 
 # No dirt allowed.