Re: [PATCH] ignoring Info extensions

["Eli Zaretskii" <eliz@gnu.org>]

> From: Juri Linkov <juri@jurta.org>
> Date: Fri, 02 Apr 2004 21:19:17 +0300
> 
> >     eliz> How about if we instead detect the "*Note:*" case and don't
> >     treat it as a reference?  
> >
> > I believe this amounts to *Note:[^*] (vs. *Note:\s).  I think either one
> > is ok, it won't make any difference in practice.  I slightly tend toward
> > the latter, because it is clearer to understand "*Note: is always
> > followed by whitespace" rather than "*Note: is followed by anything
> > except a *" (which, in practice, is always whitespace).
> 
> I guess you actually meant *Note[^:*] vs. *Note\s.  Anyway,
> restricting the character after *Note to [:*] instead of
> whitespace apparently will not solve the problem for all
> known references.  Here is the distribution of \*Note[^ \t]+
> matches on the biggest Info base I found:
> 
>      78 *Note:*
>       8 *NOTEBOOK,
>       6 *Note:
>       4 *NOTE:*
>       4 *NOTE*
>       3 *Note*:
>       2 *note:*
>       2 *NOTEBOOK)
>       2 *NOTE*:
>       1 *note*
>       1 *Notes:*
>       1 *Note2:
>       1 *note'
>       1 *Note',
> 
> So perhaps whitespace is a better choice.

But if we use *Note[^:*], we remain compatible to whatever Info files
are out there that don't have a whitespace after "*Note:", right?
Isn't that better to solve a problem without breaking what previously
worked?