PATCH for Re: gcc.gnu.org moving

[Gerald Pfeifer]

On Thu, 16 Aug 2001, Mark Mitchell wrote:
> The gcc.gnu.org machine will be moving to a new physical location

And here is a corresponding patch to the web pages (which will, for
example, be active on www.gnu.org while gcc.gnu.org is down).

Installed.

Gerald

Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/index.html,v
retrieving revision 1.262
diff -u -3 -p -r1.262 index.html
--- index.html	2001/08/06 06:29:15	1.262
+++ index.html	2001/08/17 12:18:37
@@ -155,6 +155,14 @@ scheduled for August</a>.

 <dl>

+<dt><b>August 16, 2001</b></dt>
+<dd>
+The gcc.gnu.org machine will be moving to a new physical location with
+significantly improved bandwidth and backup on Saturday, August 18th.
+The move is expected to take less than two hours; DNS will be adjusted
+accordingly, the new IP address will be 209.249.29.67.
+</dd>
+
 <dt><b>July 17, 2001</b></dt>
 <dd>
 The <a href="steering.html">Steering Committee</a> adopted a