diff --git a/Makefile b/Makefile
index 57c5f48198..c4ad717e5e 100644
--- a/Makefile
+++ b/Makefile
@@ -22,14 +22,12 @@ all:
$(MAKE) -C tools/balloon
$(MAKE) -C tools/control
$(MAKE) -C tools/internal
- $(MAKE) -C tools/vdmanager
install: all
$(MAKE) -C xen install
$(MAKE) -C tools/balloon install
$(MAKE) -C tools/control install
$(MAKE) -C tools/internal install
- $(MAKE) -C tools/vdmanager install
clean:
@@ -37,5 +35,4 @@ clean:
$(MAKE) -C tools/balloon clean
$(MAKE) -C tools/control clean
$(MAKE) -C tools/internal clean
- $(MAKE) -C tools/vdmanager clean
diff --git a/tools/control/build-web.xml b/tools/control/build-web.xml
index 2b9c91332d..81227ea025 100644
--- a/tools/control/build-web.xml
+++ b/tools/control/build-web.xml
@@ -399,6 +399,7 @@
+