Re: [PATCH 24/24] NEWS and manual changes for command options changes

Eli Zaretskii
2019-05-23T15:07:40Z

> Cc: gdb-patches@sourceware.org
> From: Pedro Alves <palves@redhat.com>
> Date: Thu, 23 May 2019 16:01:22 +0100
>
> >> +@item -repeats @var{number-of-repeats}|@code{unlimited}
> >> +Set threshold for repeated print elements. "unlimited" causes all
> > ^^
> > Two spaces between sentences. Also, "unlimited" at the sentence
> > beginning looks awkward without capitalization.
> >
>
> Hmm, "unlimited" is a literal, so I think we should use @code for it.
> Is is OK this way? I can rephrase a little to avoid @{unlimited} at
> the beginning of the sentence, but I'm trying to be concise here,
> since this is meant to be a brief outlook into the options, with a
> reference to the "set" command anchor for more info.

Yes, I meant some simple rewording. Like this:

The value @code{unlimited} causes ...

> Here are the changes I'm making to address your review:

They are fine, thanks.