diff options
| author | Jani Nikula <jani.nikula@intel.com> | 2016-08-01 11:37:05 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-08-03 23:41:31 +0200 |
| commit | d9a77fe243c9cee108050dcbfe8a91b10426dd3d (patch) | |
| tree | e6baf8cd57cc28b309a6370089651b6c1c385349 /Documentation/Makefile.sphinx | |
| parent | doc-rst: kernel-doc: fix handling of address_space tags (diff) | |
| download | linux-d9a77fe243c9cee108050dcbfe8a91b10426dd3d.tar.xz linux-d9a77fe243c9cee108050dcbfe8a91b10426dd3d.zip | |
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 <corbet@lwn.net>
Cc: Christian Kujau <lists@nerdbynature.de>
Signed-off-by: Jani Nikula <jani.nikula@intel.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/Makefile.sphinx')
| -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 |