diff --git a/Makefile b/Makefile index 0e4a546264..8d8e2f078a 100644 --- a/Makefile +++ b/Makefile @@ -30,4 +30,4 @@ web: web-push: ./scripts/website_push.sh -.PNONY: all cov deps integ test web web-push +.PHONY: all cov deps integ test web web-push