hacking: update on-line documentation for stable releases only

* HACKING (Release procedure): On-line documentation at www.gnu.org
should be updated for stable releases only.

diff --git a/HACKING b/HACKING
index 7b07b83..b6f214f 100644 (file)
--- a/HACKING
+++ b/HACKING
@@ -221,7 +221,7 @@
 * Don't forget to `git push' your changes so they appear in the public
   git tree.
 
-* Update the manuals at www.gnu.org:
+* For stable releases, update the manuals at www.gnu.org:
   - Generate manuals:
     cd doc
     wget "http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/texinfo/texinfo/util/gendocs.sh"