[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-22-g0edbd67

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 77b1735a2a2ecee8988f1d8982fae2d1005f774f
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Feb 28 12:21:17 2009 +0100

    dh_link expects full targets in *.links file!

diff --git a/debian/coq-theories.links b/debian/coq-theories.links
index a270565..f367523 100644
--- a/debian/coq-theories.links
+++ b/debian/coq-theories.links
@@ -1,2 +1,2 @@
 /usr/share/doc/coq-theories/html /usr/share/doc/coq/stdlib-html
-/usr/lib/coq/tools/coqdoc/coqdoc.css /usr/share/doc/coq-theories/html/
+/usr/lib/coq/tools/coqdoc/coqdoc.css /usr/share/doc/coq-theories/html/coqdoc.css

-- 
coq packaging