[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.
- Re: [PATCH] ignoring Info extensions,
Eli Zaretskii <=