Wiki moved to gcc.gnu.org

[Joe Buck]

Daniel Berlin wrote:
> The gcc wiki has been moved from http://www.dberlin.org/gccwiki to 
> http://gcc.gnu.org/wiki

Paolo Carlini wrote:
> Thanks Daniel, nice!
> But where it's linked *from* in the gcc pages? Not having followed in detail 
> the movement I cannot find it easily... Maybe someone else is experiencing 
> the same difficulty?!?

Daniel Berlin wrote:
> I haven't linked it yet in the small hope that we still may be able to get 
> pretty urls working.

Are you saying you want to delay making a link from the main page to the
wiki?