diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -41,7 +41,7 @@ clean: rm -rf public/ git-permalink dist: - sh aux/workflow/dist.sh $(DATE) $(VERSION) $(NAME) + sh aux/workflow/dist.sh $(DATE) $(VERSION) $(NAME) $(NAME) $(MAILING_LIST) public: README.md TODOs.md CHANGELOG.md sh aux/workflow/public.sh $(NAME) $(NAME) $(MAILING_LIST) |