From 77a55698da747e1e4c56ac111f3664f4440b1bce Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Thu, 20 Jun 2019 22:57:50 +0200
Subject: [PATCH] [doc] Add patch on doc/sphinx to update 1.4 and removed 1.8
---
doc/sphinx/conf.py.in | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/doc/sphinx/conf.py.in b/doc/sphinx/conf.py.in
index cdabf7e..42e3c79 100644
--- a/doc/sphinx/conf.py.in
+++ b/doc/sphinx/conf.py.in
@@ -12,6 +12,7 @@
# serve to show the default.
import sys, os
+from sphinx import version_info as sphinx_version
# If extensions (or modules to document with autodoc) are in another directory,
# add these directories to sys.path here. If the directory is relative to the
@@ -23,7 +24,8 @@ sys.path = [os.path.abspath('@CMAKE_SOURCE_DIR@/src')]+sys.path
# Add any Sphinx extension module names here, as strings. They can be extensions
# coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
-extensions = ['sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.intersphinx', 'sphinx.ext.todo', 'sphinx.ext.pngmath']
+extensions = ['sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.intersphinx', 'sphinx.ext.todo']
+extensions.append('sphinx.ext.pngmath' if sphinx_version < (1, 4) else 'sphinx.ext.imgmath')
# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']
--
GitLab