diff options
| author | Jani Nikula <jani.nikula@intel.com> | 2016-07-01 15:24:44 +0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-07-01 16:16:07 -0600 |
| commit | 6387872c86ea6698ed8faa3ccad1d1bd60f762f7 (patch) | |
| tree | 22b2b0947349caacc25eb011978e0eae495972f0 /tools | |
| parent | a569bf69f069a86a6914453cc1ab5371d173caf1 (diff) | |
Documentation/sphinx: skip build if user requested specific DOCBOOKS
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>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions