Index: /trunk/src/VBox/Main/webservice/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Main/webservice/Makefile.kmk	(revision 42539)
+++ /trunk/src/VBox/Main/webservice/Makefile.kmk	(revision 42540)
@@ -163,5 +163,7 @@
 # the original XIDL file (has to include documentation as we need it):
 VBOXWEB_IDL_SRC_ORIG          := $(VBOX_XIDL_FILE_SRC)
-# platform-specific XIDL file generated from $(VBOXWEB_IDL_SRC):
+# the original XIDL file without documentation
+VBOXWEB_IDL_SRC_STRIPPED      := $(VBOX_XIDL_FILE)
+# platform-specific XIDL file generated from $(VBOXWEB_IDL_SRC_STRIPPED):
 VBOXWEB_IDL_SRC               := $(VBOXWEB_OUT_DIR)/VirtualBox.xidl
 
@@ -552,5 +554,5 @@
 
 # generate platform-specific XIDL file from original XIDL file
-$(VBOXWEB_IDL_SRC): $(VBOXWEB_IDL_SRC_ORIG) $(VBOX_PATH_WEBSERVICE)/platform-xidl.xsl | $$(dir $$@)
+$(VBOXWEB_IDL_SRC): $(VBOXWEB_IDL_SRC_STRIPPED) $(VBOX_PATH_WEBSERVICE)/platform-xidl.xsl | $$(dir $$@)
 	$(call MSG_GENERATE,,$@,$(VBOXWEB_IDL_SRC) using platform-xidl.xsl)
 	$(QUIET)$(RM) -f -- $@