diff options
Diffstat (limited to 'odk/CustomTarget_check.mk')
| -rw-r--r-- | odk/CustomTarget_check.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/odk/CustomTarget_check.mk b/odk/CustomTarget_check.mk index 85113b38d1f0..e6754c968bfb 100644 --- a/odk/CustomTarget_check.mk +++ b/odk/CustomTarget_check.mk @@ -27,6 +27,7 @@ odk_PLATFORM := $(if $(filter WNT,$(OS)),\ $(call gb_CustomTarget_get_workdir,odk/check)/checkbin : \ $(SRCDIR)/odk/util/check.pl \ + $(if $(DOXYGEN),$(call gb_CustomTarget_get_target,odk/odkcommon/docs/cpp/ref)) \ $(call gb_Package_get_target,odk_bin) \ $(if $(filter WNT,$(OS)),$(call gb_Package_get_target,odk_cli)) \ $(call gb_Package_get_target,odk_config) \ |