From: Ximin Luo <infinity0@debian.org>
Date: Thu, 6 Jul 2017 21:43:53 +0000 (+0200)
Subject: Upstream now installs topdirs.mli into (what ends up in) ocaml-base-nox
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~65
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=ace9425a9586cf36452431fd22ab126e7c30462a;p=ocaml.git

Upstream now installs topdirs.mli into (what ends up in) ocaml-base-nox
---

diff --git a/debian/ocaml-base-nox.install.in b/debian/ocaml-base-nox.install.in
index 1907788b..684d2d46 100644
--- a/debian/ocaml-base-nox.install.in
+++ b/debian/ocaml-base-nox.install.in
@@ -1,6 +1,7 @@
      usr/bin/ocamlrun
      usr/share/man/man1/ocamlrun.1
      toplevel/*.mli @OCamlStdlibDir@
+     @OCamlStdlibDir@/topdirs.mli
      @OCamlStdlibDir@/VERSION
      @OCamlDllDir@/dllunix.so
      @OCamlDllDir@/dllcamlstr.so
diff --git a/debian/ocaml-compiler-libs.install.in b/debian/ocaml-compiler-libs.install.in
index eb926138..1f94da12 100644
--- a/debian/ocaml-compiler-libs.install.in
+++ b/debian/ocaml-compiler-libs.install.in
@@ -2,7 +2,6 @@
 @OCamlStdlibDir@/topdirs.cmi
 @OCamlStdlibDir@/topdirs.cmt
 @OCamlStdlibDir@/topdirs.cmti
-@OCamlStdlibDir@/topdirs.mli
 usr/share/man/man3/Ast_helper.3o
 usr/share/man/man3/Ast_helper.Cf.3o
 usr/share/man/man3/Ast_helper.Ci.3o