[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <B29403D6-0610-40E1-9751-416ED780B98C@darmarit.de>
Date: Fri, 1 Jul 2016 14:31:02 +0200
From: Markus Heiser <markus.heiser@...marit.de>
To: Jani Nikula <jani.nikula@...el.com>
Cc: Mauro Carvalho Chehab <mchehab@....samsung.com>,
Jonathan Corbet <corbet@....net>, linux-doc@...r.kernel.org,
linux-kernel@...r.kernel.org, hverkuil@...all.nl,
daniel.vetter@...ll.ch, airlied@...il.com,
grant.likely@...retlab.ca, rdunlap@...radead.org, keithp@...thp.com
Subject: Re: [docs-next PATCH] Documentation/sphinx: skip build if user requested specific DOCBOOKS
Hi Jani,
tested ... it works, thanks a lot.
-- Markus --
Am 01.07.2016 um 14:24 schrieb Jani Nikula <jani.nikula@...el.com>:
> If the user requested specific DocBooks to be built using 'make
> DOCBOOKS=foo.xml htmldocs', assume no Sphinx build is desired. This
> check is transitional, and can be removed once we drop the DocBook
> build.
>
> Cc: Markus Heiser <markus.heiser@...marit.de>
> Cc: Mauro Carvalho Chehab <mchehab@....samsung.com>
> Fixes: 22cba31bae9d ("Documentation/sphinx: add basic working Sphinx configuration and build")
> Signed-off-by: Jani Nikula <jani.nikula@...el.com>
> ---
> Documentation/Makefile.sphinx | 6 ++++++
> 1 file changed, 6 insertions(+)
>
> diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx
> index 6c203745b6c6..d8d13c92a178 100644
> --- a/Documentation/Makefile.sphinx
> +++ b/Documentation/Makefile.sphinx
> @@ -17,6 +17,12 @@ ifeq ($(HAVE_SPHINX),0)
> $(warning The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed and in PATH, or set the SPHINXBUILD make variable to point to the full path of the '$(SPHINXBUILD)' executable.)
> @echo " SKIP Sphinx $@ target."
>
> +else ifneq ($(DOCBOOKS),)
> +
> +# Skip Sphinx build if the user explicitly requested DOCBOOKS.
> +.DEFAULT:
> + @echo " SKIP Sphinx $@ target (DOCBOOKS specified)."
> +
> else # HAVE_SPHINX
>
> # User-friendly check for rst2pdf
> --
> 2.1.4
>
Powered by blists - more mailing lists