diff options
Diffstat (limited to 'pkgs/development/compilers/ghc/docs-sphinx-7.patch')
| -rw-r--r-- | pkgs/development/compilers/ghc/docs-sphinx-7.patch | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/pkgs/development/compilers/ghc/docs-sphinx-7.patch b/pkgs/development/compilers/ghc/docs-sphinx-7.patch deleted file mode 100644 index 49fa45d1b9a2..000000000000 --- a/pkgs/development/compilers/ghc/docs-sphinx-7.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 -@@ -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" /> |