From beff03e0d0754e8ad8dadc5e2ece853bcba2689f Mon Sep 17 00:00:00 2001
From: Stefano Lattarini <stefano.lattarini@gmail.com>
Date: Mon, 5 Dec 2011 19:48:34 +0100
Subject: [PATCH] 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.
---
 HACKING | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/HACKING b/HACKING
index c01445fc3..f4bd3b43c 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
-- 
2.34.1