bug#70946: [PATCH] doc: improve the man page for sleep

2024-05-14 Thread Nikolaos Chatzikonstantinou
On Tue, May 14, 2024 at 4:03 PM Nikolaos Chatzikonstantinou wrote: > > On Tue, May 14, 2024, 3:59 PM Pádraig Brady 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

bug#70946: [PATCH] doc: improve the man page for sleep

2024-05-14 Thread Nikolaos Chatzikonstantinou
On Tue, May 14, 2024, 3:59 PM Pádraig Brady 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: > "NUMBE

bug#70946: [PATCH] doc: improve the man page for sleep

2024-05-14 Thread Pádraig Brady
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". cheers, Pádraig.

bug#70946: [PATCH] doc: improve the man page for sleep

2024-05-14 Thread Nikolaos Chatzikonstantinou
See attachment. From 68291d610b9f89c627cf6d0b9a661a287ed15c22 Mon Sep 17 00:00:00 2001 From: Nikolaos Chatzikonstantinou Date: Tue, 14 May 2024 12:25:47 -0400 Subject: [PATCH] doc: improve the man page for sleep This patch is part of work done for a project from Google Summer of Code, see the pro