From: Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> Date: Sat, 25 Jan 2025 03:55:36 +0000 (+0100) Subject: [3.13] GH-125722: Remove Sphinx patches (GH-129277) (#129278) X-Git-Tag: v3.13.2~45 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=104bcff9830df756a73ae95e7ffca5b7d00bd852;p=thirdparty%2FPython%2Fcpython.git [3.13] GH-125722: Remove Sphinx patches (GH-129277) (#129278) 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 9342e787d4bb..3e4932988655 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=[]):