changeset 52952:f58b68e59345

makefile: update the way we call the sub makefile
author paugier <pierre.augier@univ-grenoble-alpes.fr>
date Tue, 18 Feb 2025 01:22:46 +0100
parents 57352b3e2589
children 037febb862d2
files Makefile
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Tue Feb 18 01:20:53 2025 +0100
+++ b/Makefile	Tue Feb 18 01:22:46 2025 +0100
@@ -112,8 +112,8 @@
 	make -C contrib/chg install PREFIX="$(PREFIX)"
 
 .PHONY: install-doc
-install-doc: doc
-	cd doc && $(MAKE) $(MFLAGS) install
+install-doc:
+	$(MAKE) -C doc $(MFLAGS) PREFIX="$(PREFIX)"  install
 
 .PHONY: install-home
 install-home: install-home-bin install-home-doc
@@ -123,8 +123,8 @@
 	$(PYTHON) -m pip install . --user --force -v --config-settings --global-option="$(PURE)"
 
 .PHONY: install-home-doc
-install-home-doc: doc
-	cd doc && $(MAKE) $(MFLAGS) PREFIX="$(HOME)" install
+install-home-doc:
+	$(MAKE) -C doc $(MFLAGS) PREFIX="$(HOME)" install
 
 .PHONY: install-rhg
 install-rhg: build-rhg