From 3efd35c8fe4ef4c2b717588500a87041be8bbe27 Mon Sep 17 00:00:00 2001 From: "Alex A. Naanou" Date: Mon, 13 Mar 2023 13:23:18 +0300 Subject: [PATCH] notes... Signed-off-by: Alex A. Naanou --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 39b57fa..f4a1f89 100644 --- a/Makefile +++ b/Makefile @@ -288,6 +288,7 @@ ctan-dist: dist +# XXX add checks for commit and push... .PHONY: tag tag: @echo "Will create and publish git tag:" @@ -297,7 +298,7 @@ tag: | tail -n 5 \ | sed 's/^/ /' \ | tac - @echo "Note that this must be done after a commit." + @echo "Note that this must be done after a commit and a push." @read -p "(press any key to continue or ctrl-c to cancel)" git tag "v$(VERSION)" git push origin "v$(VERSION)"