Re: [PATCH] ignoring Info extensions

[Juri Linkov]

"Eli Zaretskii" <address@hidden> writes:
>> From: Juri Linkov <address@hidden>
>> 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?

Actually, [^:*] is as incompatible as whitespace.  There may exist
some imaginable Info files with non-standard references with : or *
after `*Note' as a separator between `*Note' and node name.
So [^:*] is not better than whitespace.  However, whitespace is better
for Info files generated by makeinfo.

-- 
Juri Linkov
http://www.jurta.org/emacs/