Use make instead of $(MAKE)

initc3 · May 15, 2020 · 0f9aca8 · 0f9aca8
1 parent d09af68
commit 0f9aca8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -71,8 +71,8 @@ servedocs-local: docs ## compile the docs watching for changes
 	watchmedo shell-command -p '*.rst' -c '$(MAKE) -C docs html' -R -D .
 =======
 docs: ## generate Sphinx HTML documentation
-	docker-compose run --rm honeybadgermpc $(MAKE) -C docs clean
-	docker-compose run --rm honeybadgermpc $(MAKE) -C docs html O="-v -W --keep-going"
+	docker-compose run --rm honeybadgermpc make -C docs clean
+	docker-compose run --rm honeybadgermpc make -C docs html O="-v -W --keep-going"
 	docker-compose -f docs.yml stop viewdocs
 	docker-compose -f docs.yml up -d viewdocs