diff options
-rw-r--r-- | doc/README.dev | 2 | ||||
-rwxr-xr-x | tools/announce-text | 11 |
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 |