FYI: minsyms documentation

[Eli Zaretskii]

> From: Tom Tromey <tromey@redhat.com>
> Cc: gdb-patches@sourceware.org
> Date: Thu, 22 Dec 2011 13:13:19 -0700
> 
> My working assumption is that gdbint.texinfo is barely maintained at
> all.

Only because none of the active developers want to document GDB
internals in a Texinfo manual.  Therefore, the sad state of
gdbint.texinfo is a testament of what the majority of GDB maintainers
think it should look like.