From: Stefano Lattarini <stefano.lattarini@gmail.com>
Date: Mon, 5 Dec 2011 18:48:34 +0000 (+0100)
Subject: hacking: we don't use sources.redhat.com anymore
X-Git-Tag: v1.11.2~2^2~5
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=beff03e0d0754e8ad8dadc5e2ece853bcba2689f;p=thirdparty%2Fautomake.git

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 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