On Tue, May 14, 2024 at 4:03 PM Nikolaos Chatzikonstantinou
<nchatz...@gmail.com> wrote:
>
> On Tue, May 14, 2024, 3:59 PM Pádraig Brady <p...@draigbrady.com> wrote:
>>
>> On 14/05/2024 17:36, Nikolaos Chatzikonstantinou wrote:
>> > See attachment.
>>
>> Well just above your new mention of floating-point, we have:
>> "NUMBER need not be an integer".
>> How about I adjust your patch to adjust that text to say:
>> "NUMBER can be an integer or floating-point".
> Sounds good! Either I missed it or my system had an older man page.
If I may suggest, instead write it like this:
Pause for NUMBER seconds, where NUMBER is an integer or floating-point.
Then the sentence "NUMBER need not be an integer" can be removed. Of
course the info manual shows more details, but I think that note in
the man page will do. Let me know if you'd rather that I write and
submit a patch myself instead.
Regards,
Nikolaos Chatzikonstantinou
