Re: Useful warning has disappeared

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Thu, 25 Apr 2019 21:19:52 -0400
> 
>   > The problem is that people who have newer Texinfo installed omit the
>   > comma, and then people who have an older Texinfo get warnings and
>   > errors.  I still remember the old days, so I usually comment on
>   > missing commas, and get in response "but there was no warning or error
>   > when I ran makeinfo".
> 
> Perhaps Texinfo should supply the missing comma
> but warn about it.

A warning would be useful, yes.