sternenseemann
32 lines
1.1 KiB
Diff
32 lines
1.1 KiB
Diff
From db33b15c27e607cd66b85d0a2a6868c7b718a96b Mon Sep 17 00:00:00 2001
|
|
From: sterni <sternenseemann@systemli.org>
|
|
Date: Wed, 28 Jan 2026 00:09:54 +0100
|
|
Subject: [PATCH] users_guide: fix runtime error during build with Sphinx 9.1.0
|
|
|
|
Appears that pathto is stricter about what it accepts now.
|
|
Tested Sphinx 8.2.3 and 9.1.0 on the ghc-9.10 branch.
|
|
|
|
Resolves #26810.
|
|
|
|
Co-authored-by: Martin Weinelt <hexa@darmstadt.ccc.de>
|
|
---
|
|
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 2a61142514..4b3c1befba 100644
|
|
--- a/docs/users_guide/rtd-theme/layout.html
|
|
+++ b/docs/users_guide/rtd-theme/layout.html
|
|
@@ -70,7 +70,7 @@
|
|
{%- 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" />
|
|
+ <link rel="stylesheet" href="{{ pathto(css.filename, 1) }}" type="text/css" />
|
|
{%- endif %}
|
|
{%- endfor %}
|
|
|
|
--
|
|
2.52.0
|
|
|