diff --git a/Makefile b/Makefile index 3f95d1d04b0879ec9ce0a1d66fbd3718a85d6880..48836d17d1e2db75b505ba06d07a08c36fcbb5a5 100644 --- a/Makefile +++ b/Makefile @@ -1575,7 +1575,7 @@ $(help-board-dirs): help-%: DOC_TARGETS := xmldocs latexdocs pdfdocs htmldocs epubdocs cleandocs \ linkcheckdocs dochelp refcheckdocs PHONY += $(DOC_TARGETS) -$(DOC_TARGETS): scripts_basic FORCE +$(DOC_TARGETS): $(Q)$(MAKE) $(build)=Documentation $@ # Misc