> From: Gavin Smith <[email protected]> > Date: Thu, 25 Apr 2019 18:29:03 +0100 > Cc: [email protected] > > 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".
