From d6547b49bd731120a7e64dfb03ffd6f193d6dff4 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@dune-project.org>
Date: Wed, 24 Nov 2010 17:37:04 +0000
Subject: [PATCH] Add new headers to the Makefile

[[Imported from SVN: r6260]]
---
 dune/common/parallel/Makefile.am | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/dune/common/parallel/Makefile.am b/dune/common/parallel/Makefile.am
index ce4270509..d72ca0be3 100644
--- a/dune/common/parallel/Makefile.am
+++ b/dune/common/parallel/Makefile.am
@@ -3,6 +3,14 @@
 SUBDIRS =
 
 parallelincludedir = $(includedir)/dune/common/parallel
-parallelinclude_HEADERS =
+parallelinclude_HEADERS = communicator.hh     \
+                          indexset.hh         \
+                          indicessyncer.hh    \
+                          interface.hh        \
+                          localindex.hh       \
+                          plocalindex.hh      \
+                          remoteindices.hh    \
+                          selection.hh
+
 
 include $(top_srcdir)/am/global-rules
-- 
GitLab