Index: /trunk/src/VBox/Main/webservice/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Main/webservice/Makefile.kmk	(revision 31010)
+++ /trunk/src/VBox/Main/webservice/Makefile.kmk	(revision 31011)
@@ -287,4 +287,7 @@
  endif # !VBOX_ONLY_SDK
 
+VBOXWEB_WSDL                   = $(VBOX_PATH_SDK)/bindings/webservice/vboxweb.wsdl
+VBOXWEBSERVICE_WSDL            = $(VBOX_PATH_SDK)/bindings/webservice/vboxwebService.wsdl
+
 ifdef VBOX_WITH_JWS
 INSTALLS += VBoxJWs-inst-jar
@@ -476,7 +479,4 @@
 
 endif # VBOX_ONLY_SDK
-
-VBOXWEB_WSDL                   = $(VBOX_PATH_SDK)/bindings/webservice/vboxweb.wsdl
-VBOXWEBSERVICE_WSDL            = $(VBOX_PATH_SDK)/bindings/webservice/vboxwebService.wsdl
 
 ## @todo VBOXWEB_WSDL and VBOXWEBSERVICE_WSDL should be an install target.