diff options
| -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: | |||
| 67 | cleandocs: | 67 | cleandocs: |
| 68 | $(Q)rm -rf $(BUILDDIR) | 68 | $(Q)rm -rf $(BUILDDIR) |
| 69 | 69 | ||
| 70 | endif # HAVE_SPHINX | ||
| 71 | |||
| 70 | dochelp: | 72 | dochelp: |
| 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 | |||
| 78 | endif # HAVE_SPHINX | ||
