[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-25-g14dc709

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 3300be3e0a6ab9ff1ba46e7139aafa4a743cbe57
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Feb 1 11:46:09 2009 +0100

    Do not install revision file
    
    This file is generated from VCS informations, and doesn't exist when
    building out of any VCS.

diff --git a/debian/coq.install.in b/debian/coq.install.in
index d658e51..220680e 100644
--- a/debian/coq.install.in
+++ b/debian/coq.install.in
@@ -8,7 +8,6 @@ usr/bin/coq-tex*
 usr/bin/coqtop*
 usr/bin/coqwc*
 usr/bin/gallina*
-usr/lib/coq/revision
 usr/lib/coq/contrib/micromega/csdpcert
 usr/lib/coq/contrib/interface/vernacrc
 usr/lib/coq/tools/coqdoc/coqdoc.css

-- 
coq packaging