Re: [PATCH] Documentation/sphinx: do not warn about missing tools in 'make help'

[Jonathan Corbet]

On Mon,  1 Aug 2016 12:37:05 +0300
Jani Nikula <jani.nik...@intel.com> wrote:

> Simply move the dochelp rule outside of the HAVE_SPHINX check,
> overriding the .DEFAULT rule for HAVE_SPHINX=0.

I've applied this, will send it upward soonish.

Thanks,

jon