Commit 097f3e7e authored by Dominic Kempf's avatar Dominic Kempf

[!224] Update sphinx documentation of release build

Merge branch 'fix/update-sphinx' into 'master'

See merge request [!224]

  [!224]: Noneinfrastructure/dune-website/merge_requests/224
parents bc17cfe9 32136948
Pipeline #18742 failed with stages
in 15 minutes and 2 seconds