|
From: | Richard Stallman |
Subject: | Re: In info, search for \btop\b finds end of last node name under header if nodeis child of Top |
Date: | Thu, 07 Oct 2004 12:43:56 -0400 |
The node has "top" in it...in the _info file_. The visible text of the node does not contain the word "top". Users think in terms of what they see. I am convinced. If someone wants to change this, please go ahead.
[Prev in Thread] | Current Thread | [Next in Thread] |