diff options
author | Markus Heiser <markus.heiser@darmarit.de> | 2017-08-14 10:53:33 +0200 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2017-08-24 13:33:25 -0600 |
commit | 0e4c2b75897c6a621546b4f11a42c6072e833f81 (patch) | |
tree | 9055c8c8afb013975a4f093777b094491a41a141 /Documentation | |
parent | 5303b8d3a2eeaa5fddd20e1061dc2ec4707aaa67 (diff) |
docs: fix minimal sphinx version in conf.py
according to what Documentation/doc-guide/sphinx.rst says::
The ReST markups currently used by the Documentation/ files
are meant to be built with ``Sphinx`` version 1.3 or upper.
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 8e74d68037a5..9e941be37b94 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -29,7 +29,7 @@ from load_config import loadConfig # -- General configuration ------------------------------------------------ # If your documentation needs a minimal Sphinx version, state it here. -needs_sphinx = '1.2' +needs_sphinx = '1.3' # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom |