Re: Useful warning has disappeared

[Eli Zaretskii]

> From: Gavin Smith <address@hidden>
> Date: Thu, 25 Apr 2019 18:29:03 +0100
> Cc: address@hidden
> 
> On Wed, Apr 24, 2019 at 10:18:34PM -0400, Richard Stallman wrote:
> > If anyone is handling this list, please let me know.
> 
> I don't believe there is any need for a warning here.  What problem is 
> there if the comma is missing?
> 
> In the past a comma was needed when processing with TeX so that the page 
> number would be followed with a comma, but this comma is inserted 
> automatically if needed now.

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".