On Mon, 19 Dec 2016, Mauro Carvalho Chehab <mche...@s-opensource.com> wrote: > It could be interesting to print some error message if someone tries > to build with an older version or if the version can't be detected, > asking the user to upgrade Sphinx.
This will do it. BR, Jani. diff --git a/Documentation/conf.py b/Documentation/conf.py index 1ac958c0333d..b763271e2035 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.0' +needs_sphinx = '1.2' # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom -- Jani Nikula, Intel Open Source Technology Center -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
