From 44e9654d053b72931866d61b859ba831982c14fd Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Tue, 25 Sep 2018 10:43:42 +0200
Subject: [doc] Fix GH-8529: wrap macro definitions in math delimiters for
 MathJax

---
 doc/sphinx/README.rst         | 4 +++-
 doc/tools/coqrst/coqdomain.py | 6 ++++--
 2 files changed, 7 insertions(+), 3 deletions(-)

(limited to 'doc')

diff --git a/doc/sphinx/README.rst b/doc/sphinx/README.rst
index 904945a58d..4ad952bdfb 100644
--- a/doc/sphinx/README.rst
+++ b/doc/sphinx/README.rst
@@ -292,7 +292,9 @@ In addition to the objects above, the ``coqrst`` Sphinx plugin defines the follo
           \WTEG{\forall~x:T,U}{\Prop}
 
 ``.. preamble::`` A reST directive to include a TeX file.
-    Mostly useful to let MathJax know about `\def`s and `\newcommand`s.
+    Mostly useful to let MathJax know about `\def`s and `\newcommand`s.  The
+    contents of the TeX file are wrapped in a math environment, as MathJax
+    doesn't process LaTeX definitions otherwise.
 
     Usage::
 
diff --git a/doc/tools/coqrst/coqdomain.py b/doc/tools/coqrst/coqdomain.py
index 97dabbf815..edf4e6ec9d 100644
--- a/doc/tools/coqrst/coqdomain.py
+++ b/doc/tools/coqrst/coqdomain.py
@@ -666,7 +666,9 @@ class ExampleDirective(BaseAdmonition):
 class PreambleDirective(Directive):
     r"""A reST directive to include a TeX file.
 
-    Mostly useful to let MathJax know about `\def`s and `\newcommand`s.
+    Mostly useful to let MathJax know about `\def`s and `\newcommand`s.  The
+    contents of the TeX file are wrapped in a math environment, as MathJax
+    doesn't process LaTeX definitions otherwise.
 
     Usage::
 
@@ -693,7 +695,7 @@ class PreambleDirective(Directive):
         with open(abs_fname, encoding="utf-8") as ltx:
             latex = ltx.read()
 
-        node = make_math_node(latex, env.docname, nowrap=True)
+        node = make_math_node(latex, env.docname, nowrap=False)
         node['classes'] = ["math-preamble"]
         set_source_info(self, node)
         return [node]
-- 
cgit v1.2.3