From 8900c9a319057640181c377451f3b2781f9fc0c2 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 4 May 2016 14:12:24 +0200
Subject: weniger kraftvolles make dist

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

diff --git a/Makefile b/Makefile
index 8e3e857..c62684e 100644
--- a/Makefile
+++ b/Makefile
@@ -40,9 +40,9 @@ clean:
 
 dist: clean
 	git status --porcelain 2> /dev/null | grep -q "\S" && (git add .; git commit -m"neue Version: $(VERSION)") || true
-	git tag -d v$(VERSION) && git push origin --delete v$(VERSION) || true
+	! git tag -d v$(VERSION) 2> /dev/null
 	git tag v$(VERSION)
-	git push --force
+	git push
 	git push --tags
 
 # End of file
-- 
cgit v1.2.3-54-g00ecf