|
| From: | Richard Stallman |
| Subject: | Re: In info, search for \btop\b finds end of last node name under header if node is child of Top |
| Date: | Tue, 05 Oct 2004 14:34:50 -0400 |
In addition to the whole-word occurrences of "top" in the text, the search
also erroneously finds these positions:
At each node that is a child of node "Top":
In the line just below the header,
where the file and node name are listed:
The position just after the node name.
Is this a bug?
| [Prev in Thread] | Current Thread | [Next in Thread] |