> From: Richard Stallman
> Cc: gavinsmith0...@gmail.com, bug-texinfo@gnu.org
> 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
> From: Gavin Smith
> Date: Thu, 25 Apr 2019 18:29:03 +0100
> Cc: bug-texinfo@gnu.org
>
> 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
>
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
If anyone is handling this list, please let me know.
--- Start of forwarded message ---
Date: Wed, 24 Apr 2019 14:44:27 +0300
Message-Id: <83imv339wk@gnu.org>
From: Eli Zaretskii
To: Philipp Stephani
In-reply-to:
(message from Philipp Stephani on Wed, 24 Apr 2019 13:03:21
