aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a56c610..9c4c32a 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,7 @@ MAILING_LIST = public-inbox
public: README.md TODOs.md EuAndreh.key
sh aux/workflow/TODOs.sh "$(NAME_UC)" $(NAME) $(MAILING_LIST)
sh aux/workflow/README.sh "$(NAME_UC)" $(NAME)
+ sh aux/ci/report '$(NAME)'
cp EuAndreh.key public/
.PHONY: clean check