GH-125722: Remove Sphinx patches (#129277)

This commit is contained in:
Adam Turner 2025-01-25 03:47:55 +00:00 committed by GitHub
parent f10b7b29cb
commit d40692db06
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -34,16 +34,6 @@
Body.enum.converters['lowerroman'] = \
Body.enum.converters['upperroman'] = lambda x: None
# monkey-patch the productionlist directive to allow hyphens in group names
# https://github.com/sphinx-doc/sphinx/issues/11854
from sphinx.domains import std
std.token_re = re.compile(r'`((~?[\w-]*:)?\w+)`')
# backport :no-index:
PyModule.option_spec['no-index'] = directives.flag
# Support for marking up and linking to bugs.python.org issues
def issue_role(typ, rawtext, text, lineno, inliner, options={}, content=[]):