move linklint extension to optional

nedbat · nedbat · commit b7634b55b904 · 2026-02-28T17:46:18.000-05:00
diff --git a/Doc/conf.py b/Doc/conf.py
@@ -39,13 +39,13 @@
     'sphinx.ext.coverage',
     'sphinx.ext.doctest',
     'sphinx.ext.extlinks',
-    'linklint.ext',
 ]
 
 # Skip if downstream redistributors haven't installed them
 _OPTIONAL_EXTENSIONS = (
     'notfound.extension',
     'sphinxext.opengraph',
+    'linklint.ext',
 )
 for optional_ext in _OPTIONAL_EXTENSIONS:
     try:

Original file line number	Diff line number	Diff line change
`@@ -39,13 +39,13 @@`
`39`	`39`	`'sphinx.ext.coverage',`
`40`	`40`	`'sphinx.ext.doctest',`
`41`	`41`	`'sphinx.ext.extlinks',`
`42`		`- 'linklint.ext',`
`43`	`42`	`]`
`44`	`43`
`45`	`44`	`# Skip if downstream redistributors haven't installed them`
`46`	`45`	`_OPTIONAL_EXTENSIONS = (`
`47`	`46`	`'notfound.extension',`
`48`	`47`	`'sphinxext.opengraph',`
	`48`	`+ 'linklint.ext',`
`49`	`49`	`)`
`50`	`50`	`for optional_ext in _OPTIONAL_EXTENSIONS:`
`51`	`51`	`try:`