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

diff --git a/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in b/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in
index dff43b74a..62d633d22 100644
--- a/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in
+++ b/helm/software/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