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:14 +0000
committerkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>2004-11-02 17:20:14 +0000
commitca9b4638d2e1f962f64474442f3b3198d5239a43 (patch)
tree8b02fa237ff9e94865710a00f98c0746ba75f9ed /Makefile
parent7e8ad4ff7305742a6994577855f74e7ddbbca18d (diff)
parent4b3444f92a6f100b311a5798c6dd16315067a0de (diff)
downloadxen-ca9b4638d2e1f962f64474442f3b3198d5239a43.tar.gz
xen-ca9b4638d2e1f962f64474442f3b3198d5239a43.tar.bz2
xen-ca9b4638d2e1f962f64474442f3b3198d5239a43.zip
bitkeeper revision 1.1159.1.337 (4187c1ce5397aQbAhDCeojMJeJsAzw)
Merge freefall.cl.cam.ac.uk:/auto/groups/xeno/BK/xeno.bk into freefall.cl.cam.ac.uk:/local/scratch/kaf24/xeno
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/)