[Top][All Lists]

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

Re: [PATCH] ignoring Info extensions

From: Eli Zaretskii
Subject: Re: [PATCH] ignoring Info extensions
Date: 01 Apr 2004 07:53:59 +0200

> Date: Wed, 31 Mar 2004 21:01:33 -0500
> From: address@hidden (Karl Berry)
> By coincidence, there was a recent bug report pointing that TeX barfed
> on node names with trailing whitespace, while makeinfo accepted them.  I
> will change makeinfo to make this an error, or at least a warning

I'd suggest to make it a warning, not an error.  My reasoning is that
something that makeinfo supported since day one shouldn't suddenly
become a fatal error that causes the output to be removed.

reply via email to

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