[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.6-1-3-g1b999e0

[Iain Lane]

The following commit has been merged in the master branch:
commit 1b999e0801dad727ce5a0e70bc7475215865978b
Author: Iain Lane <laney at ubuntu.com>
Date:   Sun Jan 10 11:30:54 2010 +0000

    Install Agda.css
    
    * debian/libghc6-agda-dev.install: Install Agda.css, needed to generate HTML
      documentation.

diff --git a/debian/changelog b/debian/changelog
index 255556c..d72b816 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,10 @@ agda (2.2.6-2) UNRELEASED; urgency=low
 
   * debian/control: Set priority to extra per archive overrides
   * debian/copyright: Update upstream source to a more generic location 
+  * debian/libghc6-agda-dev.install: Install Agda.css, needed to generate HTML
+    documentation.
 
- -- Iain Lane <laney at ubuntu.com>  Sat, 09 Jan 2010 21:39:32 +0000
+ -- Iain Lane <laney at ubuntu.com>  Sun, 10 Jan 2010 11:29:17 +0000
 
 agda (2.2.6-1) unstable; urgency=low
 
diff --git a/debian/libghc6-agda-dev.install b/debian/libghc6-agda-dev.install
new file mode 100644
index 0000000..6ce82f6
--- /dev/null
+++ b/debian/libghc6-agda-dev.install
@@ -0,0 +1 @@
+src/data/Agda.css /usr/share/Agda-2.2.6/

-- 
Packaging for Agda