Re: [PATCH] ignoring Info extensions

[Eli Zaretskii]

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