diff options
| author | Vincent Belaïche <vincentb1@users.sourceforge.net> | 2026-05-30 16:53:15 +0200 |
|---|---|---|
| committer | Vincent Belaïche <vincentb1@users.sourceforge.net> | 2026-05-31 14:22:36 +0200 |
| commit | 35af8d1099e2f3187c70c4c661a44231bdec1f4c (patch) | |
| tree | 6b5973114969031676129b133e316ef023fe3567 | |
| parent | 3d01d53c1e345e144dc0089bc47647bfdc50b4bf (diff) | |
Make build in doc/ happen in parallel over DOCLANGS
This also avoids using ";" in make rules, which doesn't propagate
errors from the first command to the entire line.
* Makefile.in (MAKE_DOC_FOR_DOCLANG): New.
(MAKE_DOC): delegate to 'MAKE_DOC_FOR_DOCLANG' per language doc build.
| -rw-r--r-- | Makefile.in | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index e0a8d1ae579..ac15088418f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1145,10 +1145,17 @@ PDFS = lispref-pdf lispintro-pdf emacs-pdf misc-pdf PSS = lispref-ps lispintro-ps emacs-ps misc-ps DOCS = $(DVIS) $(HTMLS) $(INFOS) $(PDFS) $(PSS) + +define MAKE_DOC_FOR_DOCLANG +.PHONY: $(1)-DOCLANG-$(2) +$(1)-DOCLANG-$(2): + $$(MAKE) -C doc/$$(subst -, DOCLANG=$(2) ,$(1)) + +endef define MAKE_DOC -$(1): - $(foreach lang,$(DOCLANGS),$$(MAKE) -C doc/$$(subst -, DOCLANG=$(lang) ,$$@);) +$(1): $$(addprefix $(1)-DOCLANG-,$(DOCLANGS)) +$$(foreach lang,$(DOCLANGS),$$(eval $$(call MAKE_DOC_FOR_DOCLANG,$(1),$$(lang)))) endef $(foreach doc,$(DOCS),$(eval $(call MAKE_DOC,$(doc)))) |