bug-texinfo
[Top][All Lists]
Advanced

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




reply via email to

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