From 6a76a485a0a482c40ee1c156eaf1ae6dfaea3e11 Mon Sep 17 00:00:00 2001 From: Bastien Guerry Date: Thu, 7 Jul 2011 13:43:25 +0200 Subject: [PATCH] Makefile: Remove dash from git commands I.e. "git tag" instead of "git-tag". --- Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index 4d7b7fafd..b65bcb13a 100644 --- a/Makefile +++ b/Makefile @@ -443,15 +443,15 @@ cleanrel: push: - git-push orgmode@orgmode.org:org-mode.git master + git push orgmode@orgmode.org:org-mode.git master pushtag: - git-tag -m "Adding tag" -a $(TAG) - git-push orgmode@orgmode.org:org-mode.git $(TAG) + git tag -m "Adding tag" -a $(TAG) + git push orgmode@orgmode.org:org-mode.git $(TAG) pushreleasetag: - git-tag -m "Adding release tag" -a release_$(TAG) - git-push orgmode@orgmode.org:org-mode.git release_$(TAG) + git tag -m "Adding release tag" -a release_$(TAG) + git push orgmode@orgmode.org:org-mode.git release_$(TAG) # Dependencies