From 2488568d4a8b4f234d77cfbd858cab994e151ec2 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 12 Jun 2015 16:49:51 +0200 Subject: [PATCH] New installed files --- debian/ocaml-nox.install.in | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/debian/ocaml-nox.install.in b/debian/ocaml-nox.install.in index ab5a7aee..b58c5031 100644 --- a/debian/ocaml-nox.install.in +++ b/debian/ocaml-nox.install.in @@ -33,8 +33,11 @@ DYN: @OCamlStdlibDir@/dynlink.a @OCamlStdlibDir@/vmthreads @OCamlStdlibDir@/libbigarray.a OPT: @OCamlStdlibDir@/libasmrun.a +OPT: @OCamlStdlibDir@/libasmrun_pic.a +OPT: @OCamlStdlibDir@/libasmrun_shared.so OPT: @OCamlStdlibDir@/libasmrunp.a @OCamlStdlibDir@/libcamlrun.a + @OCamlStdlibDir@/libcamlrun_pic.a @OCamlStdlibDir@/libcamlrun_shared.so @OCamlStdlibDir@/libnums.a @OCamlStdlibDir@/libcamlstr.a @@ -61,6 +64,7 @@ OPT: @OCamlStdlibDir@/libthreadsnat.a usr/share/man/man3/Char.3o usr/share/man/man3/Complex.3o usr/share/man/man3/Digest.3o + usr/share/man/man3/Docstrings.3o usr/share/man/man3/Filename.3o usr/share/man/man3/Format.3o usr/share/man/man3/Gc.3o -- 2.30.2