[Bug web/12821] New: dead link on onlinedocs/gccint/Top-Level.html

[jv244 at cam dot ac dot uk]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12821

           Summary: dead link on onlinedocs/gccint/Top-Level.html
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: web
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk
                CC: gcc-bugs at gcc dot gnu dot org

On page 
http://gcc.gnu.org/onlinedocs/gccint/Top-Level.html
there is a link
"GNU configure and build system"
pointing to 
http://gcc.gnu.org/onlinedocs/configure/index.html
which can not be found