diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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 |