Doxygen documentation no longer updated
It looks like the Doxygen documentation hasn't been updated since April: https://www.dune-project.org/doxygen/master/ states "generated with Hugo v0.16 (Apr 4, 14:33, 2017)".
The links to the Doxygen docs for the 2.5.1 and 2.4.2 releases also just lead to a 404 Not Found page.
@dominic, @smuething: ^