use $(MAKE) variable

2017-03-05 21:35:47 +01:00 · 2017-03-05 21:35:47 +01:00 · feaab3e40e
parent affc935fc9
commit feaab3e40e
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1024,7 +1024,7 @@ ocamldoc.opt: ocamlc.opt ocamlyacc ocamllex

 .PHONY: html_doc
 html_doc: ocamldoc
-	make -C ocamldoc $@
+	$(MAKE) -C ocamldoc $@
 	@echo "documentation is in ./ocamldoc/stdlib_html/"

 partialclean::