Index: /trunk/doc/manual/Makefile.kmk
===================================================================
--- /trunk/doc/manual/Makefile.kmk	(revision 56547)
+++ /trunk/doc/manual/Makefile.kmk	(revision 56548)
@@ -685,5 +685,7 @@
 	$(QUIET)$(RM) -f $(addprefix $(@D/),$(VBOX_SDKREF_LATEX_FILES_TARGET))
 #      check it for validity first.
+ifdef VBOX_HAVE_XMLLINT
 	$(QUIET)$(VBOX_XMLLINT_WITH_CAT) --dtdvalid $(VBOX_PATH_DOCBOOK_DTD)/docbookx.dtd $<
+endif
 #	generate TeX source from processed docbook and store it in SDKRef.tex.tmp
 	$(QUIET)$(VBOX_XSLTPROC_WITH_CAT) --stringparam TARGETLANG en_US \
@@ -898,5 +900,5 @@
 	$$(QUIET)$$(VBOX_XSLTPROC_WITH_CAT) --output $$@ \
 		$$(VBOX_PATH_MANUAL_SRC)/docbook-refentry-to-manpage-preprocessing.xsl $$<
- ifdef VBOX_WITH_XMLLINT
+ ifdef VBOX_HAVE_XMLLINT
 	$$(QUIET)$$(VBOX_XMLLINT_WITH_CAT) --dtdvalid $$(VBOX_PATH_DOCBOOK_DTD)/docbookx.dtd $$@
  endif