From 9492db6eeab7c8d29d7f4374fdbafe659149b231 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Mon, 20 May 2019 17:32:59 -0400
Subject: [refman] Remove workaround for sphinx-doc/sphinx#4983

---
 doc/tools/coqrst/coqdomain.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'doc/tools')

diff --git a/doc/tools/coqrst/coqdomain.py b/doc/tools/coqrst/coqdomain.py
index b92c94fe2c..f631707e32 100644
--- a/doc/tools/coqrst/coqdomain.py
+++ b/doc/tools/coqrst/coqdomain.py
@@ -493,9 +493,7 @@ class ProductionObject(CoqObject):
         pass
 
     def _target_id(self, name):
-        # Use `name[1]` instead of ``nodes.make_id(name[1])`` to work around
-        # https://github.com/sphinx-doc/sphinx/issues/4983
-        return 'grammar-token-{}'.format(name[1])
+        return 'grammar-token-{}'.format(nodes.make_id(name[1]))
 
     def _record_name(self, name, targetid):
         env = self.state.document.settings.env
-- 
cgit v1.2.3