diff options
author | Renato Botelho do Couto <renato@netgate.com> | 2024-06-05 18:11:46 +0000 |
---|---|---|
committer | Damjan Marion <dmarion@0xa5.net> | 2024-06-10 13:13:31 +0000 |
commit | 893dacae3f93dcab24fdeb0c7e4a44d30b2db0ee (patch) | |
tree | 56d5bfe824098b8c729bebaf87cfef056c8b97f4 /docs | |
parent | fa500e98543989e4cdcbedac19a525d55a8558d5 (diff) |
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 <renato@netgate.com>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
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 |