Generated dune-functions docs does not use mainpage.md
The doxygen documentation visible on the webpage does not use doc/doxygen/mainpage.md altough it is set in doc/doxygen/Doxylocal. The main page looks as expected if the documentation is build locally.