summaryrefslogtreecommitdiffstats
path: root/Documentation
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarit.de>2017-08-14 10:53:33 +0200
committerJonathan Corbet <corbet@lwn.net>2017-08-24 21:33:25 +0200
commit0e4c2b75897c6a621546b4f11a42c6072e833f81 (patch)
tree9055c8c8afb013975a4f093777b094491a41a141 /Documentation
parentdocs: fix nested numbering in the TOC (diff)
downloadlinux-0e4c2b75897c6a621546b4f11a42c6072e833f81.tar.xz
linux-0e4c2b75897c6a621546b4f11a42c6072e833f81.zip
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.py2
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