diff options
| author | CoprDistGit <infra@openeuler.org> | 2023-10-28 09:59:10 +0000 |
|---|---|---|
| committer | CoprDistGit <infra@openeuler.org> | 2023-10-28 09:59:10 +0000 |
| commit | b02e7abee55d6e9e31efa2fc9f3df455ca9c9f1d (patch) | |
| tree | 4d726cdf3e5fc4329489fd1a3645cc1c5e4e20a3 /sphinx7.patch | |
| parent | 1cc8798baf9426f821b4f887f2914eac62e3ecd8 (diff) | |
automatic import of ghcopeneuler23.03
Diffstat (limited to 'sphinx7.patch')
| -rw-r--r-- | sphinx7.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/sphinx7.patch b/sphinx7.patch new file mode 100644 index 0000000..0eb1dbd --- /dev/null +++ b/sphinx7.patch @@ -0,0 +1,26 @@ +From 52d701b31dc4427b7e321a04be3f5f13a5fc271e Mon Sep 17 00:00:00 2001 +From: "mimi.vx" <mimi.vx@gmail.com> +Date: Wed, 24 May 2023 12:42:15 +0000 +Subject: [PATCH] Fix for Sphinx 7 removed style key + +Fixes https://gitlab.haskell.org/ghc/ghc/-/issues/23444 +--- + docs/users_guide/rtd-theme/layout.html | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/docs/users_guide/rtd-theme/layout.html b/docs/users_guide/rtd-theme/layout.html +index 2a61142514a..7ffeff7befc 100644 +--- a/docs/users_guide/rtd-theme/layout.html ++++ b/docs/users_guide/rtd-theme/layout.html +@@ -64,7 +64,7 @@ + {%- endif %} + + {# CSS #} +- <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" /> ++ <link rel="stylesheet" href="{{ pathto('_static/' + styles[-1], 1) }}" type="text/css" /> + <link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css" /> + {%- for css in css_files %} + {%- if css|attr("rel") %} +-- +GitLab + |