From e9d6aef75963126d7a856f5b88db8fd1e550f596 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 7 May 2019 14:40:02 +0200
Subject: 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.
---
 doc/sphinx/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx')

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
-- 
cgit v1.2.3