From 9c44e4fcb15b26bfe5c3e0e173c3b2f605ac82e6 Mon Sep 17 00:00:00 2001
From: "Miss Islington (bot)"
 <31488909+miss-islington@users.noreply.github.com>
Date: Sat, 25 Jan 2025 04:57:35 +0100
Subject: [PATCH] [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>
---
 Doc/tools/extensions/pyspecific.py | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/Doc/tools/extensions/pyspecific.py b/Doc/tools/extensions/pyspecific.py
index 7e4b452aca7d53..df9375641563eb 100644
--- a/Doc/tools/extensions/pyspecific.py
+++ b/Doc/tools/extensions/pyspecific.py
@@ -40,16 +40,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=[]):