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

From: Jonathan Corbet
Date: Fri Jul 29 2016 - 09:48:33 EST

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.