[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 21:28:23 +0200 |
> From: Juri Linkov <address@hidden>
> 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?
- Re: [PATCH] ignoring Info extensions, Eli Zaretskii, 2004/04/01
- Re: [PATCH] ignoring Info extensions, Juri Linkov, 2004/04/01
- Re: [PATCH] ignoring Info extensions, Karl Berry, 2004/04/01
- Re: [PATCH] ignoring Info extensions, Juri Linkov, 2004/04/01
- Re: [PATCH] ignoring Info extensions, Karl Berry, 2004/04/02
- Re: [PATCH] ignoring Info extensions, Juri Linkov, 2004/04/02
- Re: [PATCH] ignoring Info extensions,
Eli Zaretskii <=
- Re: [PATCH] ignoring Info extensions, Juri Linkov, 2004/04/02
- Re: [PATCH] ignoring Info extensions, Karl Berry, 2004/04/02
- Re: [PATCH] ignoring Info extensions, Eli Zaretskii, 2004/04/02
- Re: [PATCH] ignoring Info extensions, Eli Zaretskii, 2004/04/02
Re: [PATCH] ignoring Info extensions, Juri Linkov, 2004/04/02