[PATCH] Display configuration details in --help

[Eli Zaretskii]

> Date: Thu, 21 Mar 2013 12:10:51 -0700
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: Pedro Alves <palves@redhat.com>, dje@google.com,
> 	gdb-patches@sourceware.org
> 
> > Should we also move this part to the new switch?
> > 
> >   At startup, GDB reads the following init files and executes their commands:
> >      * user-specific init file: D:\usr\eli/.gdbinit
> >      * local init file (see also 'set auto-load local-gdbinit'): ./.gdbinit
> 
> Ha! That looks nice too!
> 
> Thanks Eli,

That's Jan's code, and it is already in the sources.  I just asked
whether it should be moved from --help to the new option.