[Documentation] Broken link - 404 Not found

[Sergio Durigan Junior]

On Sunday, April 28 2013, Simeon S. wrote:

> There seems to be a broken link in the documentation. In section 4.1
> Compilation for Debugging, the "Options for Debugging..." link seems
> to be broken:
>
> http://sourceware.org/gdb/current/onlinedocs/gcc/Debugging-Options.html#Debugging-Options

It is trying to open the GCC manual (with the wrong link, obviously).
Not sure whom to contact about this issue (Eli?  Joel?), but meanwhile
you can find this page here:

<http://gcc.gnu.org/onlinedocs/gcc-4.8.0/gcc/Debugging-Options.html#Debugging-Options>

-- 
Sergio