[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 09:47:32 +0200 |
> 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.)
- 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, 2004/04/02
- 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