Bug#803887: Downstream issue

[Mehdi Dogguy <mehdi@dogguy.org>]

Hi,

On 09/12/2015 12:10, Gabriel Scherer wrote:
> For the record, we checked upstream (with Luc Maranget, who wrote the
> latex->info converter used by the OCaml manual) and production of info
> files still reliable works upstream. I didn't follow all the details
> but apparently the build process produced a temporary file
> (ocaml.info.body) that might have confused Debian packagers, and Luc
> removed it from trunk:
>   https://github.com/ocaml/ocaml/commit/533e0cdd29cc70773703f47acede8ee45aea5591
> 

Thanks for the hint! Unfortunately, this doesn't seem the cause of the bug
experienced by Sébastien. Even if /usr/share/info/ocaml.info.body.gz is
removed and index of info files regenerated (using "update-info-dir"), it
is still not possible to open the OCaml manual using info.

Regards,

-- 
Mehdi