From 6dedecf8062c753e6f575c5aca2922365c7d13cc Mon Sep 17 00:00:00 2001
From: Achim Gratz <Stromeko@Stromeko.DE>
Date: Wed, 22 Aug 2012 08:04:56 +0200
Subject: [PATCH] server.mk: fix release archive names

* UTILITIES/server.mk: Strip "release_" prefix from $(GITVERSION) when
  making the archive names.
---
 UTILITIES/server.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/UTILITIES/server.mk b/UTILITIES/server.mk
index 8a679e9ea..9f1edb1b7 100644
--- a/UTILITIES/server.mk
+++ b/UTILITIES/server.mk
@@ -22,7 +22,7 @@ ORGELPA := $(ORGELPA:%/=%/*)
 
 release:	ORG_MAKE_DOC=info pdf card # do not make HTML documentation
 release:	cleanall doc autoloads rel-dirty
-rel-dirty:	ORGDIR=org-$(GITVERSION)
+rel-dirty:	ORGDIR=org-$(GITVERSION:release_%=%)
 rel-dirty:
 	-@$(RM) $(ORGDIR) $(ORGRTAR) $(ORGRZIP)
 	ln -s . $(ORGDIR)
-- 
2.11.4.GIT