[doc/README.dev] "To make a release": moved a sentence.

[tools/announce-text] For releases, check the VERSION file of the tag.
(merged changesets r12197-12198 from the trunk)

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12199 280ebfd0-de03-0410-8827-d642c229c3f4

2 files changed, 12 insertions, 1 deletions

diff --git a/doc/README.dev b/doc/README.dev
index cf3741441..8155d0948 100644
--- a/doc/README.dev
+++ b/doc/README.dev
@@ -198,6 +198,7 @@ To make a release (for the MPFR team):
 
   4) Update the ChangeLog file with "TZ=UTC svn log -rHEAD:0 -v" in
      UTF-8 locales, e.g. "LC_ALL=en_US.UTF8 TZ=UTC svn log -rHEAD:0 -v".
+     Make sure that all the pending commits have been done.
 
   5) Do a "svn export" of the branch to make sure to start from a clean
      source tree; this also has the advantage (over a checkout) to set
@@ -366,7 +367,6 @@ To make a release (for the MPFR team):
      Update the old current page to point to the new release; see
      examples for 3.0.1 (latest version of the branch) and 3.1.0
      (which is not the latest version of the branch).
-     Make sure that all the pending commits have been done.
      Run the tools/announce-text script to do some checking and get
      the announce text. Edit this text if need be.
      Announce the release in the mpfr-announce, mpfr, gmp-discuss, gcc
diff --git a/tools/announce-text b/tools/announce-text
index 3aa864ae7..52c5c3e5d 100755
--- a/tools/announce-text
+++ b/tools/announce-text
@@ -50,6 +50,17 @@ base=${vers%-rc*}
 echo "MPFR version: $vers" >&2
 echo "Base version: $base" >&2
 
+if [ $vers = $base ]; then
+  # This is a release (not a release candidate).
+  tagversfile="$root/tags/$vers/VERSION"
+  tagvers=$(svn cat "$tagversfile")
+  if [ $vers != "$tagvers" ]; then
+    echo "$tagversfile is incorrect or does not exist:" >&2
+    echo "got '$tagvers' instead of '$vers'" >&2
+    exit 1
+  fi
+fi
+
 www="$root/misc/www/mpfr-$base"
 echo "MPFR $vers www directory: $www" >&2
 svn ls "$www" | sort > ls1