diff options
| author | Jani Nikula <[email protected]> | 2016-08-01 12:37:05 +0300 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2016-08-03 15:41:31 -0600 |
| commit | d9a77fe243c9cee108050dcbfe8a91b10426dd3d (patch) | |
| tree | e6baf8cd57cc28b309a6370089651b6c1c385349 | |
| parent | a88b1672d4ddf9895eb53e6980926d5e960dea8e (diff) | |
Documentation/sphinx: do not warn about missing tools in 'make help'
Simply move the dochelp rule outside of the HAVE_SPHINX check,
overriding the .DEFAULT rule for HAVE_SPHINX=0.
Cc: Jonathan Corbet <[email protected]>
Cc: Christian Kujau <[email protected]>
Signed-off-by: Jani Nikula <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
| -rw-r--r-- | Documentation/Makefile.sphinx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index d8d13c92a178..bcb07f8dc664 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx @@ -67,6 +67,8 @@ cleanmediadocs: cleandocs: $(Q)rm -rf $(BUILDDIR) +endif # HAVE_SPHINX + dochelp: @echo ' Linux kernel internal documentation in different formats (Sphinx):' @echo ' htmldocs - HTML' @@ -74,5 +76,3 @@ dochelp: @echo ' epubdocs - EPUB' @echo ' xmldocs - XML' @echo ' cleandocs - clean all generated files' - -endif # HAVE_SPHINX |