1 files changed, 2 insertions, 7 deletions
diff --git a/Makefile b/Makefile
index 6b1bdd2..68ed274 100644
--- a/Makefile
+++ b/Makefile
@@ -13,13 +13,8 @@ check:
 clean:
 	rm -rf public/
 
-NAME_UC = EuAndreh's package repository
-NAME = package-repository
-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.sh '$(NAME)'
+public:
+	sh aux/workflow/public.sh "EuAndreh's package repository" package-repository public-inbox
 	cp EuAndreh.key public/
 
 .PHONY: all clean check refresh