Bug#803887: Luc's answer

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

Bug#803887: Downstream issue

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