From 296cdec9cf0865d5d91adff9ed0ef6ed2c1ab093 Mon Sep 17 00:00:00 2001 From: "emellor@ewan" Date: Tue, 13 Sep 2005 15:42:34 +0100 Subject: Added help line for dev-docs target. --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 498be57835..ea52d8c98c 100644 --- a/Makefile +++ b/Makefile @@ -126,7 +126,7 @@ help: @echo ' install-xen - build and install the Xen hypervisor' @echo ' install-tools - build and install the control tools' @echo ' install-kernels - build and install guest kernels' - @echo ' install-docs - build and install documentation' + @echo ' install-docs - build and install user documentation' @echo '' @echo 'Building targets:' @echo ' dist - build and install everything into local dist directory' @@ -136,7 +136,8 @@ help: @echo ' tools - build and install tools' @echo ' kernels - build and install guest kernels' @echo ' kbuild - synonym for make kernels' - @echo ' docs - build and install docs' + @echo ' docs - build and install user documentation' + @echo ' dev-docs - build developer-only documentation' @echo '' @echo 'Cleaning targets:' @echo ' clean - clean the Xen, tools and docs (but not' -- cgit v1.2.3