From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 14 Sep 2007 12:02:35 +0000 (+0000)
Subject: since compat <> 3 no cmx* in the install.in bu just cm*
X-Git-Tag: make_still_working~6015
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=45bced28437aff91814cfa0cc43f79b9a5b72539;p=helm.git

since compat <> 3 no cmx* in the install.in bu just cm*
---

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