http://gcc.gnu.org/ != http://www.gnu.org/software/gcc/

[Ole Tange]

On Tue, 27 Aug 2002, Phil Edwards wrote:

> On Tue, Aug 27, 2002 at 04:36:46PM +0200, Ole Tange wrote:
> > It is a bit confusing that the sites http://gcc.gnu.org/ and
> > http://www.gnu.org/software/gcc/ look so much alike but they are not the
> > same. Consider closing one of them.
>
> One (which we do not run) is mirrored from the other (which we do).

May I suggest that the mirror either is kept in sync or simply a
redirection to the one you run?
(Is it webmaster@gnu.org that runs the mirror? In that case:
Dear webmaster@gnu.org.

If you have the ressources: Keep the mirror in sync
If you do not have the ressources: Put a single link, that links to the
original site.
)

/Ole