Index: virtualbox/Config.kmk
===================================================================
--- virtualbox.orig/Config.kmk	2014-06-06 23:50:15.044419820 +0400
+++ virtualbox/Config.kmk	2014-06-07 19:02:46.876775075 +0400
@@ -1035,7 +1035,7 @@
  VBOX_WITH_OS2_ADDITIONS_BIN=
  VBOX_WITH_SECURELABEL=
  VBOX_WITH_KCHMVIEWER=
- ifn1of ($(KBUILD_TARGET), linux)
+ ifn1of ($(KBUILD_TARGET), linux solaris)
   VBOX_WITH_DOCS=
   VBOX_WITH_DOCS_PACKING=
  endif