Gdb online docs error?

[Matt Rice]

On Thu, May 17, 2012 at 10:26 PM, Mingjie Xing <mingjie.xing@gmail.com> wrote:
> Hi,
>
> The link page http://sourceware.org/gdb/current/onlinedocs/gdb/Command-Files.html#Command-Files
> is not available for now.  Maybe the gdb online docs have problems.

same with the "GDB/MI Output Syntax" link on the page:

http://sourceware.org/gdb/current/onlinedocs/gdb/GDB_002fMI-Command-Syntax.html#GDB_002fMI-Command-Syntax

leads to a 404 at:
http://sourceware.org/gdb/current/onlinedocs/gdb/GDB_002fMI-Output-Syntax.html#GDB_002fMI-Output-Syntax