Currently make install is broken, since the header onedgridgeometry.hh is still marked for
installation in a CMakeLists.txt, but this header was removed in commit
ab0802a1.
Be aware that the dune-project.org domain and its name server will have some updates between February 6, 8:00 UTC (9:00 CET) and 10:00 UTC (11:00 CET) as we will be performing services relocation during this time.
Currently make install is broken, since the header onedgridgeometry.hh is still marked for
installation in a CMakeLists.txt, but this header was removed in commit
ab0802a1.