RFA: handle "MiniDebuginfo" section

[Pedro Alves]

On 11/13/2012 06:35 PM, Tom Tromey wrote:
> index 86cfe8e..d04566e 100644
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -15865,6 +15865,7 @@ program.  To debug a core dump of a previous run, you must also tell
>  @menu
>  * Files::                       Commands to specify files
>  * Separate Debug Files::        Debugging information in separate files
> +* Separate Debug Section::      Debugging information in a special section

This is likely a very minor issue, but, on "Separate Debug Section":  I understand
that "Separate" came from this being a reuse of the "separate debug file" idea,
but OTOH I find that terminology confusing (which makes me think first-time
readers unaware of the concept might too on first grance).  The debug info is
is actually bolted inside the main binary, which is the opposite of
separate.  :-)  Maybe:

"Debug File Embedded in Special Section"

"Separate Debug File Embedded in Special Section"

Are we going to call this "MiniDebugInfo" going forward (as the minidebug.c
file spells it)?  Would it be a good idea to put a "a.k.a. MiniDebugInfo"
in the docs?

>  * Index Files::                 Index files speed up GDB
>  * Symbol Errors::               Errors reading symbol files
>  * Data Files::                  GDB data files


On 11/13/2012 06:35 PM, Tom Tromey wrote:
> +if {[is_remote host]} {
> +    return 0
> +}

This is no longer necessary.

Otherwise I have no further comments.  Thanks.

-- 
Pedro Alves