[sending again, because the first try came back with some unclear
error message, and the message didn't show up on the ML so far.]

On 11/24/2017 02:48 AM, Pádraig Brady wrote:
> Pushed with those improvements.

Sorry, this comes a bit late.

That change only added support for the long option, so the attached
makes timeout also recognize the short -v option as advertized in
usage+texi.

BTW: what do you think about a new syntax-check rule to verify that
all options in usage are actually supported?
Some of the option checks for some utilities might become complicated,
but maybe still worth ...

Thanks & have a nice day,
Berny