From: Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> Date: Sat, 25 Jan 2025 03:57:35 +0000 (+0100) Subject: [3.12] GH-125722: Remove Sphinx patches (GH-129277) (#129279) X-Git-Tag: v3.12.9~35 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=9c44e4fcb15b26bfe5c3e0e173c3b2f605ac82e6;p=thirdparty%2FPython%2Fcpython.git [3.12] GH-125722: Remove Sphinx patches (GH-129277) (#129279) GH-125722: Remove Sphinx patches (GH-129277) (cherry picked from commit d40692db06cdae89447c26b6c1b5d2a682c0974f) Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com> --- diff --git a/Doc/tools/extensions/pyspecific.py b/Doc/tools/extensions/pyspecific.py index 7e4b452aca7d..df9375641563 100644 --- a/Doc/tools/extensions/pyspecific.py +++ b/Doc/tools/extensions/pyspecific.py @@ -40,16 +40,6 @@ Body.enum.converters['loweralpha'] = \ 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=[]):