Re: [PATCH v2 (doc)] Add debug output for the skip feature

[Eli Zaretskii <eliz at gnu dot org>]

> From: Simon Marchi <simon.marchi@ericsson.com>
> CC: Simon Marchi <simon.marchi@ericsson.com>
> Date: Wed, 12 Sep 2018 09:11:10 -0400
> 
> diff --git a/gdb/NEWS b/gdb/NEWS
> index 75436b0fc32..4e4f12d8d13 100644
> --- a/gdb/NEWS
> +++ b/gdb/NEWS
> @@ -29,6 +29,11 @@ show debug compile-cplus-types
>    C++ compile feature.  Commands have no effect while compiliong
>    for other languages.
>  
> +set debug skip
> +show debug skip
> +  Control whether debug output about files/functions skipping is
> +  displayed.
> +

This is OK.

> +@kindex set debug skip
> +@item set debug skip @r{[}on|off@r{]}
> +Set whether to print the debug output about the skip feature.
> +
> +@kindex show debug skip
> +@item show debug skip
> +Show whether the debug output about the skip feature is shown.

Here' I'd suggest to say "about skipping files and functions" instead
of "skip feature".

Otherwise, OK.