[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit be8dd49cdf08dbeae0d6f36b717a54793418086b
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 28 15:55:17 2008 +0200

    Install also *.cm[iox] files

diff --git a/debian/coq.install b/debian/coq.install
index 59bcb59..c0817f7 100644
--- a/debian/coq.install
+++ b/debian/coq.install
@@ -8,8 +8,7 @@ usr/bin/coq-tex
 usr/bin/coqtop*
 usr/bin/coqwc
 usr/bin/gallina
-usr/lib/coq/*.cma
-usr/lib/coq/*.cmxa
+usr/lib/coq/*.cm*
 usr/lib/coq/tools/coqdoc/
 usr/share/emacs/site-lisp/coq/*
 usr/share/man/man1/c*

-- 
coq packaging