Gdb online docs error?

[Joel Brobecker]

> 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.

For the record, I started taking a log, but I cannot reproduce
the problem when I run the script by hand. So I've modified the
script to stop deleting the build area - I'll wait for tonight's
build, and see what clues I can find there.

-- 
Joel