[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 4cc16f522c193923b93d38d637a6dcae1e1a96b7
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 28 15:54:36 2008 +0200

    ide/utf8.v is not there anymore (moved to theories)

diff --git a/debian/coq-libs.install b/debian/coq-libs.install
index 653e2b5..a267119 100644
--- a/debian/coq-libs.install
+++ b/debian/coq-libs.install
@@ -1,4 +1,3 @@
 usr/lib/coq/contrib
 usr/lib/coq/states
 usr/lib/coq/theories
-usr/lib/coq/ide/utf8.vo	usr/lib/coq
diff --git a/debian/coq.docs b/debian/coq.docs
deleted file mode 100644
index 9b2bbcd..0000000
--- a/debian/coq.docs
+++ /dev/null
@@ -1 +0,0 @@
-ide/utf8.v
diff --git a/debian/coqide.docs b/debian/coqide.docs
index 3a260c8..6fcc323 100644
--- a/debian/coqide.docs
+++ b/debian/coqide.docs
@@ -1,2 +1 @@
 ide/FAQ
-ide/utf8.v
diff --git a/debian/coqide.install b/debian/coqide.install
index f214e01..238c4fd 100644
--- a/debian/coqide.install
+++ b/debian/coqide.install
@@ -1,4 +1,3 @@
 usr/bin/coqide*
 usr/lib/coq/ide/coq.png
-usr/lib/coq/ide/utf8.vo
 usr/lib/coq/ide/.coqide-gtk2rc

-- 
coq packaging