diff options
| author | Ramiro Morales <cramm0@gmail.com> | 2017-12-25 14:15:26 -0300 |
|---|---|---|
| committer | Ramiro Morales <cramm0@gmail.com> | 2017-12-25 14:17:09 -0300 |
| commit | e67733aa65c727fb378c34e79272c9b12bd33762 (patch) | |
| tree | 482d7337eccfb194ac483ce7d9503d046083ae7b /docs | |
| parent | 23b21db31bfcf2a065d485617412cca43a311a4c (diff) | |
Fixed #28963 -- Raised minimum Sphinx version.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 2bd56466cb..3e346fda12 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -32,7 +32,7 @@ sys.path.append(abspath(join(dirname(__file__), "_ext"))) # -- General configuration ----------------------------------------------------- # If your documentation needs a minimal Sphinx version, state it here. -needs_sphinx = '1.3' # Actually 1.3.4, but micro versions aren't supported here. +needs_sphinx = '1.5.5' # Add any Sphinx extension module names here, as strings. They can be extensions # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. |