On Mon, 14 Aug 2017, Markus Heiser <markus.heiser@xxxxxxxxxxx> wrote: > see "Sphinx Install" Documentation/doc-guide/sphinx.rst (ATM in Jon's docs-next) > > The ReST markups currently used by the Documentation/ files are meant to be > built with ``Sphinx`` version 1.3 or upper. If you're desiring to build > PDF outputs, it is recommended to use version 1.4.6 or upper. > > Sorry for the mess in the past. Mauro has now cleared this up for us / > thanks Mauro If you require a specific Sphinx version or higher, the thing to do is specify needs_sphinx in conf.py so that Sphinx gives you a proper error message: """ Sphinx version error: This project needs at least Sphinx v1.3 and therefore cannot be built with this version. """ It's a bit clunky, but you could even specify -Dneeds_sphinx=1.4 from the Makefile for the PDF build, to have different requirements for different builders. AFAICT you can't get at the builder directly from conf.py. BR, Jani. -- 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html