Merging manuals (was Re: How do you use GDB to debug GDB)

[Kevin Buettner]

On Mar 20, 12:16pm, Michael Elizabeth Chastain wrote:

> Another argument for separation of gdb.texinfo and gdbint.texinfo:
> 
> gdb.texinfo is in some sense a public interface which is meant to be
> stable.  But information in gdbint.texinfo is not a public interface
> and can change at any moment.

I find Michael's argument compelling.  I think the manuals should be
kept separate.

Kevin