aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>2004-11-02 17:20:08 +0000
committerkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>2004-11-02 17:20:08 +0000
commit4b3444f92a6f100b311a5798c6dd16315067a0de (patch)
treed9b098d9b7d4e3fa6b2656d29c7469769e6895f4 /Makefile
parent65d5559dc92925139898307da037825f2ca6c83a (diff)
downloadxen-4b3444f92a6f100b311a5798c6dd16315067a0de.tar.gz
xen-4b3444f92a6f100b311a5798c6dd16315067a0de.tar.bz2
xen-4b3444f92a6f100b311a5798c6dd16315067a0de.zip
bitkeeper revision 1.1159.149.1 (4187c1c8_Vcj2qeTWowskcZY0OAlfQ)
Build cleanups.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 18682e6ea1..ab70b5d30f 100644
--- a/Makefile
+++ b/Makefile
@@ -14,11 +14,14 @@ SOURCEFORGE_MIRROR := http://heanet.dl.sourceforge.net/sourceforge
all:
$(MAKE) prefix=$(INSTALL_DIR) dist=yes -C xen install
$(MAKE) prefix=$(INSTALL_DIR) dist=yes -C tools install
+ sh ./docs/check_pkgs && \
+ $(MAKE) prefix=$(INSTALL_DIR) dist=yes -C docs install
# install everything into the standard system directories
install: dist
$(MAKE) -C xen install
$(MAKE) -C tools install
+ sh ./docs/check_pkgs && $(MAKE) -C docs install
$(shell cp -a install/boot/*$(LINUX_VER)* /boot/)
$(shell cp -a install/lib/modules/* /lib/modules/)