From ac8996105700b1d4ba37c53d69a2317263bad7f1 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 27 Jul 2012 08:32:22 +0200 Subject: [PATCH] New file in @OCamlStdlibDir@: topdirs.cmi --- debian/ocaml-compiler-libs.install.in | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/ocaml-compiler-libs.install.in b/debian/ocaml-compiler-libs.install.in index 0b5345d7..5a8d0407 100644 --- a/debian/ocaml-compiler-libs.install.in +++ b/debian/ocaml-compiler-libs.install.in @@ -1 +1,2 @@ @OCamlStdlibDir@/compiler-libs +@OCamlStdlibDir@/topdirs.cmi -- 2.30.2