From c7cc46f003a7190f262b1e434ae4bdd3a7b08b3f Mon Sep 17 00:00:00 2001 From: Artur Manuel Date: Thu, 9 Apr 2026 20:24:14 +0100 Subject: [PATCH] ghc: patch readthedocs layout to work with our sphinx --- srcpkgs/ghc/patches/sphinx-9-compat.patch | 31 +++++++++++++++++++++++ srcpkgs/ghc/template | 2 +- 2 files changed, 32 insertions(+), 1 deletion(-) create mode 100644 srcpkgs/ghc/patches/sphinx-9-compat.patch diff --git a/srcpkgs/ghc/patches/sphinx-9-compat.patch b/srcpkgs/ghc/patches/sphinx-9-compat.patch new file mode 100644 index 00000000000000..1b3bab6e0aa412 --- /dev/null +++ b/srcpkgs/ghc/patches/sphinx-9-compat.patch @@ -0,0 +1,31 @@ +Adapted from changes to sphinx_rtd_theme (which is vendored in ghc): +commit d34b71bb0977b4265ceff07955e974cfa73a2405 +From: Manuel Kaufmann +Date: Tue, 29 Aug 2023 11:43:41 +0200 +Subject: [PATCH] Use `css_tag` helper to inject CSS files (#1519) + +* Use `css_tag` helper to inject CSS files + +* Typo +--- + sphinx_rtd_theme/layout.html | 8 ++------ + 1 file changed, 2 insertions(+), 6 deletions(-) + +diff --git a/docs/users_guide/rtd-theme/layout.html b/docs/users_guide/rtd-theme/layout.html +index a83bdd29e..f3de11ad0 100644 +--- a/docs/users_guide/rtd-theme/layout.html ++++ b/docs/users_guide/rtd-theme/layout.html +@@ -29,11 +29,7 @@ + + {%- endif %} +- {%- for css in css_files %} ++ {%- for css_file in css_files %} +- {%- if css|attr("rel") %} +- +- {%- else %} +- +- {%- endif %} ++ {{ css_tag(css_file) }} + {%- endfor %} + + {%- for cssfile in extra_css_files %} diff --git a/srcpkgs/ghc/template b/srcpkgs/ghc/template index 99142cd088d9ce..134e23466eaec5 100644 --- a/srcpkgs/ghc/template +++ b/srcpkgs/ghc/template @@ -2,7 +2,7 @@ pkgname=ghc # Keep this synchronized with http://www.stackage.org/lts version=9.8.4 -revision=1 +revision=2 build_helper="haskell" _configure_args="--prefix=/usr" _hadrian_args="--prefix=/usr"