[PATCH 8/8] Update "save gdb-index" documentation

[Eli Zaretskii]

> From: Tom Tromey <tromey@adacore.com>
> Cc: Tom Tromey <tromey@adacore.com>
> Date: Wed, 31 Jul 2019 14:14:11 -0600
> 
> This updates the "save gdb-index" documentation to reflect the new
> state of Ada support.  It also corrects an existing grammatical error.
> 
> gdb/doc/ChangeLog
> 2019-07-31  Tom Tromey  <tromey@adacore.com>
> 
> 	* gdb.texinfo (Index Files): Update Ada text.

OK, thanks.