From ea0031fe073b8ef84488870b12ae5e6486d9f081 Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@k1024.org>
Date: Sun, 7 Feb 2016 20:57:48 +0100
Subject: [PATCH] Add a release tag Makefile target

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 7b1970c..1244866 100644
--- a/Makefile
+++ b/Makefile
@@ -62,6 +62,10 @@ distcheck: dist
 	cd "$$BASE/$(RELEASEDIR)" && \
 	make && ./mt --version && ./stinit --version && \
 	make dist
+
+release-tag:
+	git tag -s -m 'Release version $(VERSION).' mt-st-$(VERSION)
+
 clean:
 	rm -f *~ \#*\# *.o $(PROGS) version.h