git: 1bb51bf83601 - main - lang/ghc: Fix build with sphinx-9.0.4

From: Max Brazhnikov <makc_at_FreeBSD.org>
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