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