From 893dacae3f93dcab24fdeb0c7e4a44d30b2db0ee Mon Sep 17 00:00:00 2001 From: Renato Botelho do Couto Date: Wed, 5 Jun 2024 18:11:46 +0000 Subject: build: Use $(MAKE) instead of direct call to make No functional changes, just make it to respect original make binary name used to start building Type: improvement Change-Id: Ic8568237fbb39c6a0d3b7405a9670e9410aeb752 Signed-off-by: Renato Botelho do Couto --- docs/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs') diff --git a/docs/Makefile b/docs/Makefile index 01e8d659bff..9f209357113 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -70,7 +70,7 @@ venv: spell: venv @( \ . ${VENV_DIR}/bin/activate; \ - make -C ${SCRIPTS_DIR} generate && \ + $(MAKE) -C ${SCRIPTS_DIR} generate && \ $(SPHINXBUILD) -b spelling $(SPHINXOPTS) $(BUILDDIR_SRC) $(BUILDDIR_OUT); \ ) @@ -81,7 +81,7 @@ rebuild-spell: clean spell docs: venv @( \ . ${VENV_DIR}/bin/activate; \ - make -C ${SCRIPTS_DIR} generate && \ + $(MAKE) -C ${SCRIPTS_DIR} generate && \ $(SPHINXBUILD) $(SPHINXOPTS) -b html $(BUILDDIR_SRC) $(BUILDDIR_OUT); \ ) @@ -90,7 +90,7 @@ rebuild: clean docs .PHONY: clean clean: - @make -C ${SCRIPTS_DIR} clean + @$(MAKE) -C ${SCRIPTS_DIR} clean .PHONY: build build: docs -- cgit 1.2.3-korg