FYI: minsyms documentation

[Tom Tromey]

>>>>> "Yao" == Yao Qi <yao@codesourcery.com> writes:

Yao> Put detailed doc in gdbint.texinfo to
Yao> relevant source files, and only leave overview and high-level doc in it.
Yao>  In this way, we don't have to pay much effort to keep gdbint.texinfo
Yao> synchronized with source, and gdbint.texinfo is still quite useful.

Yes, this is exactly what I would like to do.

Tom