[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: search in Info should not find "File", "Node" etc. in header
From: |
Eli Zaretskii |
Subject: |
Re: search in Info should not find "File", "Node" etc. in header |
Date: |
Sun, 31 Oct 2004 06:42:53 +0200 |
> Date: Sat, 30 Oct 2004 21:23:23 -0400
> Cc: Eli Zaretskii <address@hidden>, address@hidden,
> address@hidden
> From: Miles Bader <address@hidden>
>
> Search is a lower-level command than index, and is useful for finding things
> that aren't indexed.
Precisely my point.
- search in Info should not find "File", "Node" etc. in header, Drew Adams, 2004/10/30
- Re: search in Info should not find "File", "Node" etc. in header, Karl Berry, 2004/10/30
- Re: search in Info should not find "File", "Node" etc. in header, Juri Linkov, 2004/10/31
- RE: search in Info should not find "File", "Node" etc. in header, Drew Adams, 2004/10/31
- Re: search in Info should not find "File", "Node" etc. in header, Juri Linkov, 2004/10/31