Patrice: sure, I understand.
Gavin: let me add one more point: if the warning is not reenabled by
default, you are essentially forcing every maintainer of every manual to
add a new flag to their makeinfo invocation, conditional on the makeinfo
version. This seems ... bad. --thanks, karl.
On Sun, Jan 21, 2024 at 03:13:25PM -0700, Karl Berry wrote:
> Hi Patrice,
>
> I understand the principle, but for me the lossage in practice is even
> more unfortunate (by far). It sure seems to me that the "rare" case
> should be the one to have to make the config file setting. Indeed, the
> very
