[PATCH 2/7] hacking: we don't use sources.redhat.com anymore

[Stefano Lattarini]

* HACKING (Release procedure): Don't explain how to upload the
 web pages at sources.redhat.com; we don't use that anymore.
---
 HACKING |   11 -----------
 1 files changed, 0 insertions(+), 11 deletions(-)

diff --git a/HACKING b/HACKING
index c01445f..f4bd3b4 100644
--- 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
-- 
1.7.2.3