From 3e278fa6f5b2c304165e081a325ee054db4fed97 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Fri, 20 Feb 2009 15:24:58 +0100 Subject: Install CSS for stdlib documentation. --- debian/coq-theories.links | 1 + 1 file changed, 1 insertion(+) (limited to 'debian') diff --git a/debian/coq-theories.links b/debian/coq-theories.links index cd795b0d..a270565b 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/ -- cgit v1.2.3