X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Flablgtkmathview%2Fdebian%2Fliblablgtkmathview-ocaml-dev.install.in;h=dff43b74a58c5c70145b29acc84f749a8135e75b;hb=7f3ad5b0d3a4d2f67f6295f985808ce909431624;hp=bcae88906e7509758f5da12abea751f36a26ff6b;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;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 bcae88906..dff43b74a 100644
--- a/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in
+++ b/helm/software/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml-dev.install.in
@@ -3,5 +3,4 @@ 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/META
-debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.ml
 debian/tmp/usr/lib/ocaml/@OCamlABI@/lablgtkmathview/*.mli