aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Documentation/Makefile.sphinx4
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:
67cleandocs: 67cleandocs:
68 $(Q)rm -rf $(BUILDDIR) 68 $(Q)rm -rf $(BUILDDIR)
69 69
70endif # HAVE_SPHINX
71
70dochelp: 72dochelp:
71 @echo ' Linux kernel internal documentation in different formats (Sphinx):' 73 @echo ' Linux kernel internal documentation in different formats (Sphinx):'
72 @echo ' htmldocs - HTML' 74 @echo ' htmldocs - HTML'
@@ -74,5 +76,3 @@ dochelp:
74 @echo ' epubdocs - EPUB' 76 @echo ' epubdocs - EPUB'
75 @echo ' xmldocs - XML' 77 @echo ' xmldocs - XML'
76 @echo ' cleandocs - clean all generated files' 78 @echo ' cleandocs - clean all generated files'
77
78endif # HAVE_SPHINX