[dune-typetree] 02/06: libdune-typetree-dev.install: Install /usr/share/dune-typetree.

[Ansgar Burchardt]

This is an automated email from the git hooks/post-receive script.

ansgar pushed a commit to annotated tag debian/2.3.20140114g9c2e89d-1
in repository dune-typetree.

commit 10ca5f383751d1d83d9443b55ce55387d796b49e
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Thu Jan 23 11:16:40 2014 +0100

    libdune-typetree-dev.install: Install /usr/share/dune-typetree.
---
 debian/libdune-typetree-dev.install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/libdune-typetree-dev.install b/debian/libdune-typetree-dev.install
index 1e2dc63..407ad4d 100644
--- a/debian/libdune-typetree-dev.install
+++ b/debian/libdune-typetree-dev.install
@@ -4,3 +4,4 @@ usr/lib/*/libdunetypetree.a
 usr/lib/*/libdunetypetree.so
 usr/lib/*/pkgconfig
 usr/share/dune
+usr/share/dune-typetree

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/dune-typetree.git