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

From: Jonathan Corbet
Date: Wed Aug 03 2016 - 18:02:05 EST


On Mon, 1 Aug 2016 12:37:05 +0300
Jani Nikula <jani.nikula@xxxxxxxxx> 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