Fix build of docs after sphinx update. https://github.com/sphinx-doc/sphinx/pull/11381 https://gitlab.haskell.org/ghc/ghc/-/issues/24129 --- a/docs/users_guide/rtd-theme/layout.html +++ b/docs/users_guide/rtd-theme/layout.html @@ -67 +67 @@ - +