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

[Michael Elizabeth Chastain]

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.

For example, someone could re-implement the symbol table with tries
instead of hash tables (I would really like this!).  That would affect
gdbint.texinfo, but it would not affect gdb.texinfo.

Maybe "public"/"private" are not the right words but there is a
definite difference here.

Michael