From 943025f3312e736ef3e39f2e03e8b259a4703762 Mon Sep 17 00:00:00 2001
From: Markus Blatt <mblatt@dune-project.org>
Date: Fri, 30 Sep 2005 08:44:14 +0000
Subject: [PATCH] Header file was missing in SOURCES

[[Imported from SVN: r326]]
---
 istl/paamg/Makefile.am | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/istl/paamg/Makefile.am b/istl/paamg/Makefile.am
index 2b7dfafe9..a07df1eea 100644
--- a/istl/paamg/Makefile.am
+++ b/istl/paamg/Makefile.am
@@ -1,6 +1,7 @@
 SUBDIRS = test
 
-SOURCES = aggregates.hh dependency.hh galerkin.hh graph.hh indicescoarsener.hh properties.hh globalaggregates.hh hierarchy.hh pmatrix.hh
+SOURCES = aggregates.hh dependency.hh galerkin.hh graph.hh indicescoarsener.hh \
+properties.hh globalaggregates.hh hierarchy.hh pmatrix.hh construction.hh
 
 paamgdir = $(includedir)/dune/istl/paamg
 paamg_HEADERS = $(SOURCES)
-- 
GitLab