diff options
author | Loïc Hoguin <[email protected]> | 2018-06-27 14:37:39 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2018-06-27 14:37:39 +0200 |
commit | 05b1ea7d76e21e198e922699ab6c9df56a3ad494 (patch) | |
tree | 4695ed8d7627a5dfc3bfdc750fc2cb785fa66028 /core/docs.mk | |
parent | 1f39e8414846ea752f83bedfb15a7652db9c46b7 (diff) | |
download | erlang.mk-05b1ea7d76e21e198e922699ab6c9df56a3ad494.tar.gz erlang.mk-05b1ea7d76e21e198e922699ab6c9df56a3ad494.tar.bz2 erlang.mk-05b1ea7d76e21e198e922699ab6c9df56a3ad494.zip |
Add a missing IS_DEPS=1 for docs deps
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 ea2529f..6ef2ce6 100644 --- a/core/docs.mk +++ b/core/docs.mk @@ -16,5 +16,5 @@ ifneq ($(SKIP_DEPS),) doc-deps: else doc-deps: $(ALL_DOC_DEPS_DIRS) - $(verbose) set -e; for dep in $(ALL_DOC_DEPS_DIRS) ; do $(MAKE) -C $$dep; done + $(verbose) set -e; for dep in $(ALL_DOC_DEPS_DIRS) ; do $(MAKE) -C $$dep IS_DEP=1; done endif |