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

Pedro Alves
2019-05-23T15:31:59Z

On 5/23/19 4:07 PM, Eli Zaretskii wrote:
>> 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 ...
>

Thanks, I'll use that.

>> Here are the changes I'm making to address your review:
>
> They are fine, thanks.
>

Thanks,
Pedro Alves