From 3300be3e0a6ab9ff1ba46e7139aafa4a743cbe57 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sun, 1 Feb 2009 11:46:09 +0100 Subject: Do not install revision file This file is generated from VCS informations, and doesn't exist when building out of any VCS. --- debian/coq.install.in | 1 - 1 file changed, 1 deletion(-) (limited to 'debian') diff --git a/debian/coq.install.in b/debian/coq.install.in index d658e513..220680e9 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 -- cgit v1.2.3