Bug#803887: Luc's answer

2015-12-23 Thread Luc Maranget
Hi, For the record, I have reported a regression behavior of the info reader to upstream (bug-texi...@gnu.org) --Luc > Hi Mehdi, > > > Below I digress on the warnings at installation time and > on how to suppress them. However the problem looks to be elsewhere. > > I have reproduced the

Bug#803887: Luc's answer

2015-12-23 Thread Mehdi Dogguy
Control: clone 803887 -1 Control: reassign -1 info Control: found -1 6.0.0.dfsg.1-3 Control: retitle -1 info: tags in letters are not recognized On 23/12/2015 15:09, Luc Maranget wrote: > Hi, > For the record, I have reported a regression behavior of the info reader > to upstream

Bug#803887: Luc's answer

2015-12-23 Thread Mehdi Dogguy
Hi Luc, Thanks for the prompt reply and investigation! Your effort took this issue to its end (and fixed upstream!). On 23/12/2015 13:36, Luc Maranget wrote: >> https://sources.debian.net/src/texinfo/6.0.0.dfsg.1-3/debian/update-info-dir/ > > Ok I have looked at the script. It apparently

Bug#803887: Luc's answer

2015-12-23 Thread Norbert Preining
Dear all, > For texinfo maintainers, the issue is that info command started to get case > sensitive with version 6.0. So, for example, tag tables are not recognized Thanks for the investigation, I have uploaded -4 of the texinfo package with this (and a few other fixes) to the archive. I am

Bug#803887: Luc's answer

2015-12-23 Thread Luc Maranget
Hi Mehdi, Below I digress on the warnings at installation time and on how to suppress them. However the problem looks to be elsewhere. I have reproduced the "info ocaml" bug on some Debian machine. I Investigate. NB: On the Debian machine info is at version 6.0 while other machine have older

Bug#803887: Luc's answer

2015-12-22 Thread Mehdi Dogguy
Hello, On 22/12/2015 14:25, Gabriel Scherer wrote: > Thanks for the clarifications. I forward to Luc and here is the answer I got. > Thanks for the reply. I've added Luc in CC. My reply is below. >> As far as I understand the issue, info files are installed by >> "GNU install-info" aka

Bug#803887: Luc's answer

2015-12-22 Thread Gabriel Scherer
Thanks for the clarifications. I forward to Luc and here is the answer I got. > As far as I understand the issue, info files are installed by > "GNU install-info" aka ginstall-info. > > From hand experiments on an UBUNTU 14.04, "dropping relevant files > into files under /usr/share/info" is not