Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 31 additions & 0 deletions srcpkgs/ghc/patches/sphinx-9-compat.patch
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
Adapted from changes to sphinx_rtd_theme (which is vendored in ghc):
commit d34b71bb0977b4265ceff07955e974cfa73a2405
From: Manuel Kaufmann <humitos@gmail.com>
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 @@
<link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css" />
{%- endif %}
- {%- for css in css_files %}
+ {%- for css_file in css_files %}
- {%- if css|attr("rel") %}
- <link rel="{{ css.rel }}" href="{{ pathto(css.filename, 1) }}" type="text/css"{% if css.title is not none %} title="{{ css.title }}"{% endif %} />
- {%- else %}
- <link rel="stylesheet" href="{{ pathto(css, 1) }}" type="text/css" />
- {%- endif %}
+ {{ css_tag(css_file) }}
{%- endfor %}

{%- for cssfile in extra_css_files %}
2 changes: 1 addition & 1 deletion srcpkgs/ghc/template
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
Loading