[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: Fri, 02 Apr 2004 09:47:32 +0200

> From: Juri Linkov <address@hidden>
> Date: Fri, 02 Apr 2004 06:27:11 +0300
> I am not aware of any Info files with references without whitespace
> after `*Note'.  Perhaps somewhere such files may exist that was
> generated by a program other than makeinfo, or was hand-written?

I don't know; I just hate incompatible changes.

How about if we instead detect the "*Note:*" case and don't treat it
as a reference?  (Also the "_Note:_" case, I think.)

reply via email to

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