Re: [RFA 3/3] NEWS and documentation for $_gdb_setting and $_gdb_int_setting.

[Eli Zaretskii <eliz@gnu.org>]

> From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Cc: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Date: Sun, 28 Apr 2019 17:18:16 +0200
> 
> +* New built-in convenience functions $_gdb_setting and $_gdb_int_setting
> +  provide access to the value of the GDB settings.  They are handy
     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
"provide access to values of ..."

> +@findex $_gdb_setting@r{, convenience function}
> +Return the value of the @value{GDBN} @var{setting} as a string value.
                                                      ^^^^^^^^^^^^^^^^^
"as a string", the "value" part is redundant.

> +@var{setting} argument is the suffix to use in the @code{show} command

I'd drop the "argument" part.

I also think that "suffix to use in the 'show' command" is a
potentially confusing description.  How about

  @var{setting} is any setting that can be used in a @code{set} or
  @code{show} command (@pxref{Controlling GDB}).

> +@item $_gdb_int_setting (@var{setting})
> +@findex $_gdb_int_setting@r{, convenience function}
> +Return the value of the @value{GDBN} @var{setting} as an integer value.
                                                         ^^^^^^^^^^^^^^^^
Again, I'd drop the "value" part.

> +This only works for boolean, auto boolean and integer settings.
> +The boolean values @code{false} and @code{true} are converted to
> +the integer values @code{0} and @code{1}. The value @code{auto} is
                                           ^^
Two spaces.

> +converted to the value  @code{2}.

What about the value "infinite" or "unlimited"?

Thanks.