67 lines
2.5 KiB
Diff
67 lines
2.5 KiB
Diff
From 00dc51060881df81258ba3b3bdf447294618a4de Mon Sep 17 00:00:00 2001
|
|
From: Matthew Pickering <matthewtpickering@gmail.com>
|
|
Date: Tue, 3 Jan 2023 15:56:37 +0000
|
|
Subject: [PATCH] sphinx: Use modern syntax for extlinks
|
|
|
|
This fixes the following build error:
|
|
|
|
```
|
|
Command line: /opt/homebrew/opt/sphinx-doc/bin/sphinx-build -b man -d /private/tmp/extra-dir-55768274273/.doctrees-man -n -w /private/tmp/extra-dir-55768274273/.log docs/users_guide /private/tmp/extra-dir-55768274273
|
|
===> Command failed with error code: 2
|
|
|
|
Exception occurred:
|
|
File "/opt/homebrew/Cellar/sphinx-doc/6.0.0/libexec/lib/python3.11/site-packages/sphinx/ext/extlinks.py", line 101, in role
|
|
title = caption % part
|
|
~~~~~~~~^~~~~~
|
|
TypeError: not all arguments converted during string formatting
|
|
```
|
|
|
|
I tested on Sphinx-5.1.1 and Sphinx-6.0.0
|
|
|
|
Thanks for sterni for providing instructions about how to test using
|
|
sphinx-6.0.0.
|
|
|
|
Fixes #22690
|
|
---
|
|
docs/users_guide/ghc_config.py.in | 4 ++--
|
|
1 file changed, 2 insertions(+), 2 deletions(-)
|
|
|
|
diff --git a/docs/users_guide/ghc_config.py.in b/docs/users_guide/ghc_config.py.in
|
|
index dcc7fbaef624..c9888a13adc5 100644
|
|
--- a/docs/users_guide/ghc_config.py.in
|
|
+++ b/docs/users_guide/ghc_config.py.in
|
|
@@ -1,6 +1,6 @@
|
|
extlinks = {
|
|
- 'ghc-ticket': ('https://gitlab.haskell.org/ghc/ghc/issues/%s', '#'),
|
|
- 'ghc-wiki': ('https://gitlab.haskell.org/ghc/ghc/wikis/%s', '#'),
|
|
+ 'ghc-ticket': ('https://gitlab.haskell.org/ghc/ghc/issues/%s', '%s'),
|
|
+ 'ghc-wiki': ('https://gitlab.haskell.org/ghc/ghc/wikis/%s', '#%s'),
|
|
}
|
|
|
|
libs_base_uri = '../libraries'
|
|
From 52d701b31dc4427b7e321a04be3f5f13a5fc271e Mon Sep 17 00:00:00 2001
|
|
From: "mimi.vx" <mimi.vx@gmail.com>
|
|
Date: Wed, 24 May 2023 12:42:15 +0000
|
|
Subject: [PATCH] Fix for Sphinx 7 removed style key
|
|
|
|
Fixes https://gitlab.haskell.org/ghc/ghc/-/issues/23444
|
|
---
|
|
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 2a61142514a..7ffeff7befc 100644
|
|
--- a/docs/users_guide/rtd-theme/layout.html
|
|
+++ b/docs/users_guide/rtd-theme/layout.html
|
|
@@ -64,7 +64,7 @@
|
|
{%- endif %}
|
|
|
|
{# CSS #}
|
|
- <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" />
|
|
+ <link rel="stylesheet" href="{{ pathto('_static/' + styles[-1], 1) }}" type="text/css" />
|
|
<link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css" />
|
|
{%- for css in css_files %}
|
|
{%- if css|attr("rel") %}
|
|
--
|
|
GitLab
|