[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20170201131354.79668879@lwn.net>
Date: Wed, 1 Feb 2017 13:13:54 -0700
From: Jonathan Corbet <corbet@....net>
To: Jani Nikula <jani.nikula@...el.com>
Cc: Jim Davis <jim.epost@...il.com>,
linux-doc <linux-doc@...r.kernel.org>,
linux-kernel <linux-kernel@...r.kernel.org>
Subject: Re: [PATCH] Documentation/sphinx: make targets independent of
Sphinx work for HAVE_SPHINX=0
On Mon, 30 Jan 2017 18:58:15 +0200
Jani Nikula <jani.nikula@...el.com> 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
Powered by blists - more mailing lists