bug#41634: 'timeout' returning 124 and 133

[Pádraig Brady]

On 28/07/2020 22:38, Bernhard Voelker wrote:
> On 2020-07-16 00:59, Jonny Grant wrote:
> > On 15/06/2020 21:57, Bernhard Voelker wrote:
> > > Hmm, in the HTML format, this is the first sentence after the table of contents:
> > >
> > >    "This manual documents version 8.32 of the GNU core utilities, ..."
> >
> > Hi Berny
> > Just to reply on this item.
> >
> > Ah ok, on the HTML page that is still 12 pages after the first page. It would 
> > be nice to see it below the title? Before the TOC.
> > https://www.gnu.org/software/coreutils/manual/coreutils.html
> >
> > I didn't search through for the version number, I missed it, as it wasn't at 
> > the top, or at the end.
>
> The attached adds the version to the title of the HTML manual.
> E.g. grep also has it:
>    https://www.gnu.org/software/grep/manual/html_node/index.html
>
> @Padraig: okay to push?

+1 thanks