From b34a2c3fb01eff270effee402bfc08569d4ce968 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sun, 14 Feb 2021 02:55:08 -0300 Subject: Makefile: Publish public key on the web --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 434befe..a56c610 100644 --- a/Makefile +++ b/Makefile @@ -9,8 +9,9 @@ clean: NAME_UC = EuAndreh's package repository NAME = package-repository MAILING_LIST = public-inbox -public: README.md TODOs.md +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) + cp EuAndreh.key public/ .PHONY: clean check -- cgit v1.2.3