diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-03 15:56:37 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-04 14:32:45 -0500 |
| commit | 00dc51060881df81258ba3b3bdf447294618a4de (patch) | |
| tree | b7e012e35f03803f23dba599ef6b0651b2d61383 | |
| parent | be9dd9b03479070ba6387c251541f4569392c4bb (diff) | |
| download | haskell-00dc51060881df81258ba3b3bdf447294618a4de.tar.gz | |
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
| -rw-r--r-- | docs/users_guide/ghc_config.py.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/ghc_config.py.in b/docs/users_guide/ghc_config.py.in index dcc7fbaef6..c9888a13ad 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' |