Messages in this thread | | | Subject | Re: [docs-next PATCH] Documentation/sphinx: skip build if user requested specific DOCBOOKS | From | Markus Heiser <> | Date | Fri, 1 Jul 2016 14:31:02 +0200 |
| |
Hi Jani,
tested ... it works, thanks a lot.
-- Markus --
Am 01.07.2016 um 14:24 schrieb Jani Nikula <jani.nikula@intel.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@darmarit.de> > Cc: Mauro Carvalho Chehab <mchehab@osg.samsung.com> > Fixes: 22cba31bae9d ("Documentation/sphinx: add basic working Sphinx configuration and build") > Signed-off-by: Jani Nikula <jani.nikula@intel.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 >
| |