From 9280fdd8f1eb05f4823e0436b629c8ec4716f326 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Mon, 20 May 2019 16:04:34 -0400
Subject: [refman] Stop using the deprecated math_block node (fixed GH-11856)

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

(limited to 'doc')

diff --git a/doc/tools/coqrst/coqdomain.py b/doc/tools/coqrst/coqdomain.py
index f631707e32..84f32e187b 100644
--- a/doc/tools/coqrst/coqdomain.py
+++ b/doc/tools/coqrst/coqdomain.py
@@ -34,7 +34,6 @@ from sphinx.util.logging import getLogger, get_node_location
 from sphinx.directives import ObjectDescription
 from sphinx.domains import Domain, ObjType, Index
 from sphinx.domains.std import token_xrefs
-from sphinx.ext import mathbase
 
 from . import coqdoc
 from .repl import ansicolors
@@ -74,8 +73,7 @@ def make_target(objtype, targetid):
     return "coq:{}.{}".format(objtype, targetid)
 
 def make_math_node(latex, docname, nowrap):
-    node = mathbase.displaymath()
-    node['latex'] = latex
+    node = nodes.math_block(latex, latex)
     node['label'] = None # Otherwise equations are numbered
     node['nowrap'] = nowrap
     node['docname'] = docname
-- 
cgit v1.2.3