Fix make help for stubdom

This patch fixes "make help".
"make stubdomain" does not work.

Signed-off-by: Akio Takebe <takebe_akio@jp.fujitsu.com>

diff --git a/Makefile b/Makefile
index 35a09a6aa7ab8d1c351c9b0139c95b65775a17c5..39aff692bca6998b609bfa9e92c8026ae4fd2f83 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -149,7 +149,7 @@ help:
        @echo '                     trees then make dist'
        @echo '  xen              - build and install Xen hypervisor'
        @echo '  tools            - build and install tools'
-       @echo '  stubdomain       - build and install the stubdomain images'
+       @echo '  stubdom          - build and install the stubdomain images'
        @echo '  kernels          - build and install guest kernels'
        @echo '  kbuild           - synonym for make kernels'
        @echo '  docs             - build and install user documentation'