Skip to content

Fix recipe main page name

Linus Seelinger requested to merge fix-recipe-main-page-name into master

PDELab recipe main page breaks on webpage, but not when building locally. I believe that's due to a name clash with the recently merged dune-grid recipes.

Is there a reasonable way to replicate the website's doxygen building process locally? Otherwise I'd like to simply merge this and see if it does the trick.

Merge request reports