diff --git a/Makefile b/Makefile index 6d0e0c5ec..7534b2fcd 100644 --- a/Makefile +++ b/Makefile @@ -110,7 +110,7 @@ subst: ## Run dune substitute .PHONY: docs docs: ## Generate odoc documentation $(DUNE) build @install - dune exec -- odoc_driver server-reason-react + $(DUNE) exec -- odoc_driver server-reason-react # Because if the hack above, we can't have watch mode .PHONY: docs-watch