Commit 544c1266 authored by Steffen Müthing's avatar Steffen Müthing

[!227] Add custom main page for PDELab

Merge branch 'doxygen/add-custom-mainpage-for-pdelab' into 'master'

ref:infrastructure/dune-website This supersedes [!225] because that patch does
not put the main page into a list.

See merge request [!227]

  [!225]: gitlab.dune-project.org/NoneNone/merge_requests/225
  [!227]: gitlab.dune-project.org/infrastructure/dune-website/merge_requests/227
parents 8a48a918 edacc48a
Pipeline #19113 failed with stages
in 3 minutes and 6 seconds