Gdb online docs error?

[Yao Qi]

On 05/18/2012 01:26 PM, Mingjie Xing 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.

Yeah, I can build Command-Files.html via `make html' in my machine, but
looks it doesn't exist on sourceeware.org server.

I can access link
http://sourceware.org/gdb/current/onlinedocs/gdb/Sequences.html and
click "Command Files" in this page.  Then, I see an error on "page not
found".

I don't know how these html files are synced to sourceware.org server,
but I guess there might be some problem there.

-- 
Yao (齐尧)