[PATCH v2 4/4] Document the new "-a" command line option for gcore

[Eli Zaretskii]

> From: Sergio Lopez <slp@redhat.com>
> Cc: Sergio Lopez <slp@redhat.com>
> Date: Wed, 29 Nov 2017 11:55:43 +0100
> 
> gdb/ChangeLog:
> 2017-11-29  Sergio Lopez  <slp@redhat.com>
> 
> 	* NEWS (Changes since GDB 8.0): Announce new "-a"
> 	command line option for gcore.
> 
> gdb/doc/ChangeLog:
> 2017-11-29  Sergio Lopez  <slp@redhat.com>
> 
> 	* gdb.texinfo (gcore man): Document new "-a" command line option.

Thanks, this is OK.