[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Useful warning has disappeared

From: Eli Zaretskii
Subject: Re: Useful warning has disappeared
Date: Fri, 26 Apr 2019 09:45:31 +0300

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]