git: 1bb51bf83601 - main - lang/ghc: Fix build with sphinx-9.0.4
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 26 Jun 2026 17:25:53 UTC
The branch main has been updated by makc:
URL: https://cgit.FreeBSD.org/ports/commit/?id=1bb51bf8360127539e4e3e24fc609ce20168b491
commit 1bb51bf8360127539e4e3e24fc609ce20168b491
Author: Hiroo Ono <hiroo.ono+freebsd@gmail.com>
AuthorDate: 2026-06-26 17:23:09 +0000
Commit: Max Brazhnikov <makc@FreeBSD.org>
CommitDate: 2026-06-26 17:23:09 +0000
lang/ghc: Fix build with sphinx-9.0.4
PR: 284845
---
.../patch-docs_users__guide_rtd-theme_layout.html | 25 ++++++++++++++++++++++
1 file changed, 25 insertions(+)
diff --git a/lang/ghc/files/patch-docs_users__guide_rtd-theme_layout.html b/lang/ghc/files/patch-docs_users__guide_rtd-theme_layout.html
new file mode 100644
index 000000000000..011e818e8361
--- /dev/null
+++ b/lang/ghc/files/patch-docs_users__guide_rtd-theme_layout.html
@@ -0,0 +1,25 @@
+--- docs/users_guide/rtd-theme/layout.html.orig 2026-04-18 08:43:54 UTC
++++ docs/users_guide/rtd-theme/layout.html
+@@ -29,15 +29,19 @@
+ <link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css" />
+ {%- endif %}
+ {%- for css 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 %} />
++ {%- if css|attr("filename") %}
++ {{css_tag(css) }}
+ {%- else %}
+ <link rel="stylesheet" href="{{ pathto(css, 1) }}" type="text/css" />
+ {%- endif %}
+ {%- endfor %}
+
+ {%- for cssfile in extra_css_files %}
+- <link rel="stylesheet" href="{{ pathto(cssfile, 1) }}" type="text/css" />
++ {%- if cssfile|attr("filename") %}
++ {{css_tag(css) }}
++ {%- else %}
++ <link rel="stylesheet" href="{{ pathto(cssfile, 1) }}" type="text/css" />
++ {%- endif %}
+ {%- endfor -%}
+
+ {#- FAVICON