Bug#517134: ocaml-nox: install some files that are also installed by ocaml-compiler-libs

[Stéphane Glondu <steph@glondu.net>]

Ralf Treinen a écrit :
> ocaml-compiler-libs seems to be the right place for these so I guess these
> files should simply not be shipped by ocaml-nox.

I think on the contrary that outcometree.cmi should remain in ocaml-nox.
It is installed by upstream, and may be used by the toplevel or other
third-party tools or libraries (thanks to its special location at the
root of `ocamlc -where`). Files shipped by ocaml-compiler-libs are not
installed by upstream. If outcometree.cmi must be removed from
somewhere, it should be from ocaml-compiler-libs.

-- 
Stéphane