Define minimum Sphinx version in conf.py.

We set the minimum Sphinx version in conf.py to the one that we test
in our CI and the one that is documented in doc/README.md. Hopefully,
it will allow users with lower Sphinx verisons get better error
messages.

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 48ad60c6dd..972a53ae36 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -47,7 +47,7 @@ with open("refman-preamble.rst") as s:
 # -- General configuration ------------------------------------------------
 
 # If your documentation needs a minimal Sphinx version, state it here.
-#needs_sphinx = '1.0'
+needs_sphinx = '1.7.8'
 
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom