Re: [PATCH V2 5/5] Support tracepoints for ARM linux in GDBServer

[Eli Zaretskii <eliz@gnu.org>]

> From: Antoine Tremblay <antoine.tremblay@ericsson.com>
> CC: Antoine Tremblay <antoine.tremblay@ericsson.com>
> Date: Thu, 3 Nov 2016 10:33:00 -0400
> 
> diff --git a/gdb/NEWS b/gdb/NEWS
> index a6b1282..233f11e 100644
> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -3,6 +3,8 @@
>  
>  *** Changes since GDB 7.12
>  
> +* Support for tracepoints on arm-linux was added in GDBServer.
> +
>  * Building GDB and GDBserver now requires a C++11 compiler.
>  
>    For example, GCC 4.8 or later.

This part is OK.

> +encodings as described below. If a @samp{K} is present, it
> +indicates a target specific breakpoint kind. The kind can be the

Please use @var{kind} here, in reference to the packet parameter.

> +length of the breakpoint. E.g., the arm and mips can insert either a
> +2 or 4 byte breakpoint or have additional meaning see
> +@ref{Architecture-Specific Protocol Details}. If the trailing @samp{-}
> +is present, further @samp{QTDP} packets will follow to specify this
> +tracepoint's actions.

This paragraph needs to use 2 spaces between sentences, not one.

The patch for the manual is OK with these gotchas fixed.

Thanks.