Use make instead of $(MAKE)

initc3 · Mar 30, 2020 · 15813d9 · 15813d9
1 parent be47cac
commit 15813d9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -61,8 +61,8 @@ coverage: ## check code coverage quickly with the default Python
 	$(BROWSER) htmlcov/index.html
 
 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