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

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 3e278fa6f5b2c304165e081a325ee054db4fed97
Author: Samuel Mimram <smimram at debian.org>
Date:   Fri Feb 20 15:24:58 2009 +0100

    Install CSS for stdlib documentation.

diff --git a/debian/coq-theories.links b/debian/coq-theories.links
index cd795b0..a270565 100644
--- a/debian/coq-theories.links
+++ b/debian/coq-theories.links
@@ -1 +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/

-- 
coq packaging