2c76a4cb41
GitOrigin-RevId: c757e9bd77b16ca2e03c89bf8bc9ecb28e0c06ad
8 lines
422 B
Diff
8 lines
422 B
Diff
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 @@
|
|
- <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" />
|
|
+ <link rel="stylesheet" href="{{ pathto('_static/' + styles[-1], 1) }}" type="text/css" />
|