Docs: use a Sphinx extension to eliminate excessive links (#145130)

diff --git a/Doc/conf.py b/Doc/conf.py
index d7effe2572ec446ff86bbd0e77b71c2de278af0d..545049bb460419804c91d3c5833a371efb09d535 100644 (file)
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -43,6 +43,7 @@ extensions = [
 
 # Skip if downstream redistributors haven't installed them
 _OPTIONAL_EXTENSIONS = (
+    'linklint.ext',
     'notfound.extension',
     'sphinxext.opengraph',
 )

diff --git a/Doc/requirements.txt b/Doc/requirements.txt
index d0107744ecbe85ee8fb13bade4b7dc821f7d8f36..536ae57e4efc2982d9f220f3dcc54641dc9365cc 100644 (file)
--- a/Doc/requirements.txt
+++ b/Doc/requirements.txt
@@ -18,4 +18,6 @@ sphinx-notfound-page~=1.0.0
 # to install that as well.
 python-docs-theme>=2023.3.1,!=2023.7
 
+linklint
+
 -c constraints.txt