hacking: we don't use sources.redhat.com anymore

* HACKING (Release procedure): Don't explain how to upload the
 web pages at sources.redhat.com; we don't use that anymore.

diff --git a/HACKING b/HACKING
index c01445fc32557371bc73f4e04054bed360f5abb6..f4bd3b43c32fc4ccbc8826be5e4e9587566ea2fb 100644 (file)
--- a/HACKING
+++ b/HACKING
@@ -217,17 +217,6 @@
 * Don't forget to `git push' your changes so they appear in the public
   git tree.
 
-* Update the web pages at sources.redhat.com:
-  - bump version in index.rst,
-  - add entry to news.rst,
-  - run `make' to update .html files,
-  - create manuals:
-      cd doc
-      make pdf
-      make html MAKEINFOFLAGS=--no-split
-  - copy automake.html and automake.pdf to web cvs,
-  - add ChangeLog entry and commit.
-
 * Update the manuals at www.gnu.org:
   - Generate manuals:
     cd doc