Eli Zaretskii (eliz@gnu.org):

> > Date: Mon, 19 Jan 2009 15:10:53 +0100
> > From: Jerome Guitton <guitton@adacore.com>
> > 
> > At startup, GDB reads the following init files and executes their commands:
> >   * system-wide init file: /etc/gdb/gdbinit
> >   * user-specific init file: /homes/guitton/.gdbinit
> >   * local init file: /homes/guitton/work/.gdbinit
> > 
> > For more information, type "help" from within GDB, or consult the
> > GDB manual (available as on-line info or a printed manual).
> > [...]
> > 
> > 
> > Would that make sense?
> 
> Yes, with changes suggested by Daniel.


Here is a patch that takes that into account and adds some
documentation about the relocation. Is it OK to apply?


2009-01-20  Daniel Jacobowitz  <dan@codesourcery.com>
	    Jerome Guitton  <guitton@adacore.com>

	* configure, config.in: Regenerated.
	* configure.ac: Add --with-system-gdbinit.
	* main.c (gdb_program_name): New static variable.
	(get_init_files): New function.
	(captured_main): Use get_init_files. Load system gdbinit before
	$HOME/.gdbinit.
	(print_gdb_help): Print location of init files.

2009-01-20  Daniel Jacobowitz  <dan@codesourcery.com>
	    Jerome Guitton  <guitton@adacore.com>

	* gdb.texinfo (Startup): Document --with-system-gdbinit.
	(System-wide configuration): New section.