X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Flablgtkmathview%2Fdebian%2Fliblablgtkmathview-ocaml-dev.install.in;h=62d633d22046fbde28e9c7f6f7519271688db603;hb=fcb296a542e4aa1319420cc00b07e403bd8a4032;hp=dff43b74a58c5c70145b29acc84f749a8135e75b;hpb=cb470e4313da839b8081eed7307d84f6741a87e6;p=helm.git

diff --git a/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in b/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in
index dff43b74a..62d633d22 100644
--- a/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in
+++ b/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in
@@ -1,6 +1,4 @@
 debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.a
-debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.cma
-debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.cmi
-debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.cmxa
+debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.cm*
 debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/META
 debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.mli