diff options
Diffstat (limited to 'pkgs/development/compilers/ghc/docs-sphinx-7-ghc98.patch')
-rw-r--r-- | pkgs/development/compilers/ghc/docs-sphinx-7-ghc98.patch | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/pkgs/development/compilers/ghc/docs-sphinx-7-ghc98.patch b/pkgs/development/compilers/ghc/docs-sphinx-7-ghc98.patch deleted file mode 100644 index 3fc1a0f21561..000000000000 --- a/pkgs/development/compilers/ghc/docs-sphinx-7-ghc98.patch +++ /dev/null @@ -1,8 +0,0 @@ -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 -@@ -28 +28 @@ -- <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" /> -+ <link rel="stylesheet" href="{{ pathto('_static/' + styles[-1], 1) }}" type="text/css" /> |