Hello,

As I was trying to remove the description of REGISTER_U_ADDR from
our gdbint manual, I noticed that there was a whole section that
is now obsolete, since it describes a deprecated approach to
adding core file support.  So I deleted that section, and added
a section giving a short description of what needs to be done
in order to add core file support for a given target...

2009-05-06  Joel Brobecker  <brobecker@adacore.com>

        * gdbint.texinfo (Adding support for debugging core files): New node.
        (Native Debugging): Remove the ``Native core file Support'' section.

Tested by rebuilding the documentation.
OK to apply?

-- 
Joel