diff options
Diffstat (limited to 'Makefile.help')
| -rw-r--r-- | Makefile.help | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.help b/Makefile.help index f95740365..999d0298e 100644 --- a/Makefile.help +++ b/Makefile.help @@ -6,6 +6,7 @@ help: @echo 'Cleaning:' @echo ' clean - delete temporary files created by build' @echo ' distclean - delete all non-source files (including .config)' + @echo ' doc-clean - delete all generated documentation' @echo @echo 'Build:' @echo ' all - Executable and documentation' |