On 02/27/2017 12:44 AM, Pádraig Brady wrote:
> The attached uses your suggestion of '/' but only allowed in the last 
> position.

Maybe it'd be good to have an example in the Texinfo manual as well.
Otherwise: LGTM, thanks!

Have a nice day,
Berny



Reply via email to