[PATCH 01/10] btrace: Introduce auxiliary instructions.

[Eli Zaretskii]

> From: felix.willgerodt@intel.com
> Cc: markus.t.metzger@intel.com, Felix Willgerodt <felix.willgerodt@intel.com>
> Date: Wed, 29 May 2019 10:47:44 +0200
> 
> index 3c4535ec506..c31ed39b251 100644
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -6831,6 +6831,9 @@ Moxie, PowerPC, PowerPC64, S/390, and x86 (i386/amd64) running
>  GNU/Linux.  Process record and replay can be used both when native
>  debugging, and when remote debugging via @code{gdbserver}.
>  
> +When recording an inferior, GDB may print additional auxiliary information
                               ^^^
That should be "@value{GDBN}" instead.

Thanks.