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
