aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx
diff options
context:
space:
mode:
authorThéo Zimmermann2020-05-18 18:55:59 +0200
committerJim Fehrle2020-05-18 19:39:30 -0700
commit7cac115647723f8261b7aabf8094572227b25c43 (patch)
treee2ddd94a23be87609d83de4aee280802e3c2319d /doc/sphinx
parent2222e455f0501b700f198ab614d8743229062f73 (diff)
Bump minimal versions of refman dependencies.
Fixes #11936. Co-authored-by: Jim Fehrle <jfehrle@sbcglobal.net>
Diffstat (limited to 'doc/sphinx')
-rwxr-xr-xdoc/sphinx/conf.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 4136b406de..fabf7a519f 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -46,7 +46,7 @@ with open("refman-preamble.rst") as s:
# -- General configuration ------------------------------------------------
# If your documentation needs a minimal Sphinx version, state it here.
-needs_sphinx = '1.8.0'
+needs_sphinx = '2.3.1'
# Add any Sphinx extension module names here, as strings. They can be
# extensions coming with Sphinx (named 'sphinx.ext.*') or your custom