> From: Richard Stallman <[email protected]> > Cc: [email protected], [email protected] > 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.
