1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 6b7ecfd..9bac359 100644
--- a/Makefile
+++ b/Makefile
@@ -19,4 +19,4 @@ public: README.md TODOs.md EuAndreh.key
 	sh aux/ci/report.sh '$(NAME)'
 	cp EuAndreh.key public/
 
-.PHONY: clean check
+.PHONY: all clean check