From 50268ba5926ce023e07561fec7ecfce8e077efae Mon Sep 17 00:00:00 2001
From: Oliver Sander <oliver.sander@tu-dresden.de>
Date: Wed, 4 Jan 2023 20:31:34 +0100
Subject: [PATCH] Install two additional headers

The headers globalvaluedlocalfiniteelement.hh and raviartthomasbasis.hh
were not installed.  This was apparently an oversight.
---
 dune/functions/functionspacebases/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dune/functions/functionspacebases/CMakeLists.txt b/dune/functions/functionspacebases/CMakeLists.txt
index cf6e032..176f607 100644
--- a/dune/functions/functionspacebases/CMakeLists.txt
+++ b/dune/functions/functionspacebases/CMakeLists.txt
@@ -12,6 +12,7 @@ install(FILES
         defaultnodetorangemap.hh
         flatmultiindex.hh
         flatvectorview.hh
+        globalvaluedlocalfiniteelement.hh
         hierarchicallagrangebasis.hh
         hierarchicnodetorangemap.hh
         hierarchicvectorwrapper.hh
@@ -22,6 +23,7 @@ install(FILES
         periodicbasis.hh
         powerbasis.hh
         rannacherturekbasis.hh
+        raviartthomasbasis.hh
         nodes.hh
         sizeinfo.hh
         subentitydofs.hh
-- 
2.30.2

