diff options
-rw-r--r-- | Makefile | 17 |
1 files changed, 16 insertions, 1 deletions
@@ -1,6 +1,8 @@ .POSIX: PREFIX = /usr/local MANPREFIX = $(PREFIX)/share/man +VERSION = v0.1.0 +DATE = 2021-01-22 all: @@ -27,6 +29,19 @@ uninstall: check: sh tests/all.sh +dist: + if git show $(VERSION) 1>/dev/null 2>/dev/null; then \ + echo 'Version $(VERSION) already exists.'; \ + exit 1; \ + fi + + if [ '$(DATE)' != "$$(git log -1 --format=%cd --date=short HEAD)" ]; then \ + echo 'Date $(DATE) is not up-to-date.'; \ + exit 1; \ + fi + + git tag $(VERSION) + NAME = remembering public: sh build-aux/workflow/TODOs.sh $(NAME) $(NAME) public-inbox @@ -35,4 +50,4 @@ public: clean: rm -rf public/ -.PHONY: all clean check install uninstall +.PHONY: all clean check dist install uninstall |