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/
