Bug#785724: info: in a search, the last line of a section is never found
On 2015-05-19 22:44:17 +0200, Hilmar Preuße wrote:
> Confirmed. Was still working in info 4.13 (wheezy).
I've reported the bug upstream:
http://lists.gnu.org/archive/html/bug-texinfo/2015-05/msg00010.html
It's either specific to Debian or fixed upstream.
I'm currently looking at this.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
Reply to: