[dune-grid-glue] 06/06: There are no files to install in /usr/share/dune.

[Ansgar Burchardt]

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

ansgar pushed a commit to annotated tag debian/2.5.0_20161206g666200e-1
in repository dune-grid-glue.

commit 356ab4cbc435ada83cbfd4a3b5d75c29ac7f6c10
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Tue Dec 6 19:54:57 2016 +0100

    There are no files to install in /usr/share/dune.
---
 debian/libdune-grid-glue-dev.install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/libdune-grid-glue-dev.install b/debian/libdune-grid-glue-dev.install
index 97c07ad..6a23327 100644
--- a/debian/libdune-grid-glue-dev.install
+++ b/debian/libdune-grid-glue-dev.install
@@ -1,4 +1,4 @@
 usr/include
 usr/lib
-usr/share/dune
+#usr/share/dune
 usr/share/dune-grid-glue

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