diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-03 15:56:37 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-03 15:59:43 +0000 |
| commit | 10e94a556b4f90769b7fd718b9790d58ae566600 (patch) | |
| tree | 22f518da5f5664cbf2adb97ae2bf54488fa168ba | |
| parent | a5bd0eb8dd1d03c54e1b0b476ebbc4cc886d6f19 (diff) | |
| download | haskell-wip/t22690.tar.gz | |
sphinx: Use modern syntax for extlinkswip/t22690
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' |