tjh.dev / nixpkgs
nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
fork atom
nixpkgs / pkgs / development / compilers / ghc / ghc-9.4-docs-sphinx-9.patch
at python-updates 31 lines 1.2 kB view raw
1From db33b15c27e607cd66b85d0a2a6868c7b718a96b Mon Sep 17 00:00:00 2001 2From: sterni <sternenseemann@systemli.org> 3Date: Wed, 28 Jan 2026 00:09:54 +0100 4Subject: [PATCH] users_guide: fix runtime error during build with Sphinx 9.1.0 5 6Appears that pathto is stricter about what it accepts now. 7Tested Sphinx 8.2.3 and 9.1.0 on the ghc-9.10 branch. 8 9Resolves #26810. 10 11Co-authored-by: Martin Weinelt <hexa@darmstadt.ccc.de> 12--- 13 docs/users_guide/rtd-theme/layout.html | 2 +- 14 1 file changed, 1 insertion(+), 1 deletion(-) 15 16diff --git a/docs/users_guide/rtd-theme/layout.html b/docs/users_guide/rtd-theme/layout.html 17index 2a61142514..4b3c1befba 100644 18--- a/docs/users_guide/rtd-theme/layout.html 19+++ b/docs/users_guide/rtd-theme/layout.html 20@@ -70,7 +70,7 @@ 21 {%- if css|attr("rel") %} 22 <link rel="{{ css.rel }}" href="{{ pathto(css.filename, 1) }}" type="text/css"{% if css.title is not none %} title="{{ css.title }}"{% endif %} /> 23 {%- else %} 24- <link rel="stylesheet" href="{{ pathto(css, 1) }}" type="text/css" /> 25+ <link rel="stylesheet" href="{{ pathto(css.filename, 1) }}" type="text/css" /> 26 {%- endif %} 27 {%- endfor %} 28 29-- 302.52.0 31