From b16852a77f4d30a4956d096ebb7961ab8150fcb4 Mon Sep 17 00:00:00 2001
From: Paul Smith <psmith@gnu.org>
Date: Fri, 17 May 2013 02:40:37 -0400
Subject: Update for GNU make release candidate 3.99.90.

---
 README.git | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'README.git')

diff --git a/README.git b/README.git
index 6b2f28b..3f12d02 100644
--- a/README.git
+++ b/README.git
@@ -175,7 +175,8 @@ before making an official release:
   * Run "make distcheck" to be sure it all works.
   * git tag -u <GPGID> <VER> where GPGID is my GPG key fingerprint,
     and VER is the release version.
-  * Push everything.
+  * Push everything:
+    git push --tags origin master
   * Create the new release in the Savannah "Bugs" Administration for
     both the "Component Version" and "Fixed Release" fields.
   * Create the new release in the Savannah "Patches" Administration for
-- 
cgit v1.2.3