diff options
Diffstat (limited to 'core/docs.mk')
-rw-r--r-- | core/docs.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/docs.mk b/core/docs.mk index e1e2d0e..cde0a42 100644 --- a/core/docs.mk +++ b/core/docs.mk @@ -15,5 +15,5 @@ ifneq ($(SKIP_DEPS),) doc-deps: else doc-deps: $(ALL_DOC_DEPS_DIRS) - @for dep in $(ALL_DOC_DEPS_DIRS) ; do $(MAKE) -C $$dep; done + $(verbose) for dep in $(ALL_DOC_DEPS_DIRS) ; do $(MAKE) -C $$dep; done endif |