From ace9425a9586cf36452431fd22ab126e7c30462a Mon Sep 17 00:00:00 2001 From: Ximin Luo Date: Thu, 6 Jul 2017 23:43:53 +0200 Subject: [PATCH] Upstream now installs topdirs.mli into (what ends up in) ocaml-base-nox --- debian/ocaml-base-nox.install.in | 1 + debian/ocaml-compiler-libs.install.in | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2