diff options
author | Achim Gratz <Stromeko@Stromeko.DE> | 2012-08-22 08:04:56 +0200 |
---|---|---|
committer | Achim Gratz <Stromeko@Stromeko.DE> | 2012-08-22 21:40:26 +0200 |
commit | 6dedecf8062c753e6f575c5aca2922365c7d13cc (patch) | |
tree | 84517cbe3866a0303dd0cdba2e1b5f96163265e9 | |
parent | b7338f2fe0d17b7215b472509304149e6b0cd708 (diff) | |
download | org-mode-6dedecf8062c753e6f575c5aca2922365c7d13cc.tar.gz |
server.mk: fix release archive names
* UTILITIES/server.mk: Strip "release_" prefix from $(GITVERSION) when
making the archive names.
-rw-r--r-- | UTILITIES/server.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/UTILITIES/server.mk b/UTILITIES/server.mk index 8a679e9..9f1edb1 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) |