Re: [PATCH] Documentation/sphinx: make targets independent of Sphinx work for HAVE_SPHINX=0

[Jonathan Corbet]

On Mon, 30 Jan 2017 18:58:15 +0200
Jani Nikula <jani.nikula@xxxxxxxxx> wrote:

> Make targets that don't depend on Sphinx work without warnings about
> missing Sphinx. 'make cleandocs' will work without Sphinx just fine, and
> the targets that are no-ops for Sphinx should just be skipped. Move them
> outside of the HAVE_SPHINX checks to take precedence over the .DEFAULT
> target for HAVE_SPHINX=0.

Applied, thanks.

jon