|
From: | Sergey Poznyakoff |
Subject: | [bug #10851] do not search Info keywords |
Date: | Thu, 10 Feb 2011 09:25:02 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; pl; rv:1.9.1.3) Gecko/20090824 Firefox/3.5.3 |
Update of bug #10851 (project texinfo): Status: None => Fixed _______________________________________________________ Follow-up Comment #2: I have installed changes that exclude the entire node header line from searches (except for the actual node name). It would be nice to also exclude "* Menu:", but that requires another kind of logic. I'll see to it too. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?10851> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |