nixpkgs/pkgs/development/compilers/ghc/docs-sphinx-7.patch
Vladimír Čunát 176ccbcda8
ghc*: patch build of docs after sphinx update
The 8.x versions don't seem to need this (and the patch wouldn't apply).
2023-10-28 12:50:03 +02:00

9 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" />