Re: Makefile.sphinx:17: The 'sphinx-build' command was not found

[Jonathan Corbet]

On Thu, 28 Jul 2016 15:05:07 -0700 (PDT)
Christian Kujau <lists@xxxxxxxxxxxxxxx> wrote:

> Indeed, I don't have "sphinx-build" installed (nor do I want to build 
> documentation), running "make SPHINXBUILD=/bin/true help" makes the 
> warning go away. Is there a way to omit the warning when 
> running "make help"? E.g. by not including Documentation/Makefile.sphinx 
> for that target?

That seems like a reasonable request, we'll make it happen.

Thanks,

jon