diff options
Diffstat (limited to 'core/docs.mk')
-rw-r--r-- | core/docs.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/core/docs.mk b/core/docs.mk index 9637d32..e1e2d0e 100644 --- a/core/docs.mk +++ b/core/docs.mk @@ -11,5 +11,9 @@ ALL_DOC_DEPS_DIRS = $(addprefix $(DEPS_DIR)/,$(DOC_DEPS)) $(foreach dep,$(DOC_DEPS),$(eval $(call dep_target,$(dep)))) +ifneq ($(SKIP_DEPS),) +doc-deps: +else doc-deps: $(ALL_DOC_DEPS_DIRS) @for dep in $(ALL_DOC_DEPS_DIRS) ; do $(MAKE) -C $$dep; done +endif |