aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorewan@linford.intra <ewan@linford.intra>2005-09-11 21:10:38 +0100
committerewan@linford.intra <ewan@linford.intra>2005-09-11 21:10:38 +0100
commit04660cf483ff65fc74d0fa2a54b3fbe3a933cbb6 (patch)
tree8c094846ee1fc25df7fbd181121c1c77ef30e7a8 /Makefile
parentb1f3138ed7e9f2ff257a1470d3dc239913e17e50 (diff)
downloadxen-04660cf483ff65fc74d0fa2a54b3fbe3a933cbb6.tar.gz
xen-04660cf483ff65fc74d0fa2a54b3fbe3a933cbb6.tar.bz2
xen-04660cf483ff65fc74d0fa2a54b3fbe3a933cbb6.zip
Added dev-docs target, which passes through to the docs Makefile.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 3b50ec6436..498be57835 100644
--- a/Makefile
+++ b/Makefile
@@ -35,8 +35,8 @@ ifeq ($(XEN_TARGET_X86_PAE),y)
export pae=y
endif
-.PHONY: all dist install xen kernels tools docs world clean mkpatches mrproper
-.PHONY: kbuild kdelete kclean
+.PHONY: all dist install xen kernels tools dev-docs docs world clean
+.PHONY: mkpatches mrproper kbuild kdelete kclean
# build and install everything into the standard system directories
install: install-xen install-kernels install-tools install-docs
@@ -66,6 +66,9 @@ kernels:
docs:
sh ./docs/check_pkgs && $(MAKE) -C docs install || true
+dev-docs:
+ $(MAKE) -C docs dev-docs
+
# Build all the various kernels and modules
kbuild: kernels