bootstrap: update README-release patch

gl/top/README-release.diff: Update to match latest gnulib changes.

Signed-off-by: Peter Rosin <peda@lysator.liu.se>

diff --git a/gl/top/README-release.diff b/gl/top/README-release.diff
index 19cc3ec277c0d97bdc15b103c88a67de73518e9c..f8fd462bcba265df198706897afaf7e7b6318858 100644 (file)
--- a/gl/top/README-release.diff
+++ b/gl/top/README-release.diff
@@ -1,5 +1,5 @@
---- gnulib/top/README-release  2012-09-16 10:57:02.000000000 +0700
-+++ gl/top/README-release      2012-09-16 14:51:58.000000000 +0700
+--- gnulib/top/README-release  2013-01-01 16:56:11.111973500 +0100
++++ gl/top/README-release      2013-01-01 16:55:31.423573500 +0100
 @@ -1,5 +1,9 @@
  Here are most of the steps we (maintainers) follow when making a release.
  
@@ -10,7 +10,7 @@
  * Start from a clean, up-to-date git directory on "master":
  
      make -k maintainer-clean || { ./configure && make maintainer-clean; }
-@@ -27,10 +31,25 @@
+@@ -27,9 +31,24 @@
  
      ./bootstrap && ./configure
  
@@ -30,9 +30,8 @@
 +    make distcheck DISTCHECK_CONFIGURE_FLAGS=--program-prefix=g
 +    make distcheck DISTCHECK_CONFIGURE_FLAGS=--disable-shared
 +    make distcheck CC=g++
- 
++
 +  If there are any problems, fix them and start again.
-+ 
- * To (i) set the date, version number, and release type [stable/alpha/beta]
-   on line 3 of NEWS, (ii) commit that, and (iii) tag the release, run
  
+ * To (i) set the date, version number, and release TYPE on line 3 of
+   NEWS, (ii) commit that, and (iii) tag the release, run