Makefile: pass TARGETS to doc Makefile.

This commit is contained in:
Guillaume Revaillot 2019-02-17 17:44:28 +01:00 committed by Karl Palsson
parent 4db40e0839
commit ebe8c4a66c
1 changed files with 1 additions and 1 deletions

View File

@ -78,7 +78,7 @@ lib: $(LIB_DIRS)
$(Q)[ -f .stamp_failure_tld ] && cat .stamp_failure_tld && exit 1 || true;
html doc:
$(Q)$(MAKE) -C doc html
$(Q)$(MAKE) -C doc html TARGETS="$(TARGETS)"
clean: $(IRQ_DEFN_FILES:=.cleanhdr) $(LIB_DIRS:=.clean) $(EXAMPLE_DIRS:=.clean) doc.clean styleclean genlinktests.clean