[dune-typetree] 01/01: Install dune.module.

[Ansgar Burchardt]

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

ansgar pushed a commit to branch master
in repository dune-typetree.

commit a276d878eefd436d16202520f04a686be4709e35
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Sat Jan 11 14:06:09 2014 +0100

    Install dune.module.
---
 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 5c49303..1e2dc63 100644
--- a/debian/libdune-typetree-dev.install
+++ b/debian/libdune-typetree-dev.install
@@ -1,4 +1,5 @@
 usr/include
+usr/lib/*/dunecontrol usr/lib
 usr/lib/*/libdunetypetree.a
 usr/lib/*/libdunetypetree.so
 usr/lib/*/pkgconfig

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