docs/users_guide/ghc_config.py.in · 1726db3f39f1c41b92b1bdf45e9dc054b401e782 · Reinier Maas / GHC · GitLab

Aug 09, 2023
1726db3f
users-guide: Ensure extlinks is compatible with Sphinx <4 · 1726db3f
Ben Gamari authored Aug 09, 2023 and Marge Bot committed Aug 15, 2023
```
The semantics of the `extlinks` attribute annoyingly changed in Sphinx
4. Reflect this in our configuration. See #22690.

Fixes #23807.
```
1726db3f
users-guide: Ensure extlinks is compatible with Sphinx <4
Ben Gamari authored Aug 09, 2023 and Marge Bot committed Aug 15, 2023
```
The semantics of the `extlinks` attribute annoyingly changed in Sphinx
4. Reflect this in our configuration. See #22690.

Fixes #23807.
```