From 145da17e8312a7963229e36ef7b1448299357117 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Fri, 18 May 2018 01:33:12 -0400
Subject: [doc] Get rid of two Sphinx warnings

---
 doc/sphinx/conf.py             | 3 +++
 doc/sphinx/refman-preamble.rst | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 8b29d1e9f9..b85cf57a98 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -316,6 +316,9 @@ latex_elements = {
 
                  % Style tweaks
                  \newcssclass{sigannot}{\textrm{#1:}}
+
+                 % Silence 'LaTeX Warning: Command \nobreakspace invalid in math mode'
+                 \everymath{\def\nobreakspace{\ }}
                  """
 }
 
diff --git a/doc/sphinx/refman-preamble.rst b/doc/sphinx/refman-preamble.rst
index aa581e1ee1..c662028773 100644
--- a/doc/sphinx/refman-preamble.rst
+++ b/doc/sphinx/refman-preamble.rst
@@ -30,7 +30,7 @@
 .. |class_2| replace:: `class`\ :math:`_{2}`
 .. |Coq| replace:: :smallcaps:`Coq`
 .. |CoqIDE| replace:: :smallcaps:`CoqIDE`
-.. |eq_beta_delta_iota_zeta| replace:: `=`\ :math:`_{\small{\beta\delta\iota\zeta}}`
+.. |eq_beta_delta_iota_zeta| replace:: `=`\ :math:`_{\beta\delta\iota\zeta}`
 .. |Gallina| replace:: :smallcaps:`Gallina`
 .. |ident_0| replace:: `ident`\ :math:`_{0}`
 .. |ident_1,1| replace:: `ident`\ :math:`_{1,1}`
-- 
cgit v1.2.3