diff options
| author | Théo Zimmermann | 2020-05-18 18:55:59 +0200 |
|---|---|---|
| committer | Jim Fehrle | 2020-05-18 19:39:30 -0700 |
| commit | 7cac115647723f8261b7aabf8094572227b25c43 (patch) | |
| tree | e2ddd94a23be87609d83de4aee280802e3c2319d /doc/sphinx | |
| parent | 2222e455f0501b700f198ab614d8743229062f73 (diff) | |
Bump minimal versions of refman dependencies.
Fixes #11936.
Co-authored-by: Jim Fehrle <jfehrle@sbcglobal.net>
Diffstat (limited to 'doc/sphinx')
| -rwxr-xr-x | doc/sphinx/conf.py | 2 |
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 |
