[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #10851] do not search Info keywords

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: 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:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]