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