[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] ignoring Info extensions

From: Juri Linkov
Subject: Re: [PATCH] ignoring Info extensions
Date: Sat, 03 Apr 2004 00:38:22 +0300
User-agent: Gnus/5.110002 (No Gnus v0.2) Emacs/21.3.50 (gnu/linux)

"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

reply via email to

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