> > 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?
> 
> Yes, but maybe add some @cindex entry there.

Sure. Based on how the other cindex entries were designed (from
the associated section name), I added:

    +@cindex core files

I don't see anything else that might be useful to help finding
this section... So here is a second version of the patch.

Thanks,
-- 
Joel