[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] ignoring Info extensions
From: |
Richard Stallman |
Subject: |
Re: [PATCH] ignoring Info extensions |
Date: |
Fri, 02 Apr 2004 20:30:24 -0500 |
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?
Isn't it the case that Texinfo will always produce whitespace
after *Note when it is a cross reference? I don't think we need
to worry very much about hand-made Info files which might fail
to have whitespace there.
- 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
Re: [PATCH] ignoring Info extensions, Juri Linkov, 2004/04/02