From 74bbc32ad24ee7fea5ecabfeea951b96de27baa4 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 28 Apr 2011 14:59:27 +0000
Subject: Fix Make pkg in case package name same as release name.

---
 Makefile.devel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index 9efc7445..60b2dc27 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -454,7 +454,7 @@ PKGDELETES=obsolete etc doc
 PKG_VERSION=$(shell echo $(FULLVERSION) | sed 's/$(PRERELEASE_PREFIX)/20/g')
 PKG_RELEASENAME=$(NAME)-$(PKG_VERSION)
 pkg:	cvsexport
-	(cd $(DISTBUILDIR); mv $(RELEASENAME) $(PKG_RELEASENAME))
+	(cd $(DISTBUILDIR); if [ "$(RELEASENAME)" != "$(PKG_RELEASENAME)" ]; then mv $(RELEASENAME) $(PKG_RELEASENAME); fi)
 	(cd $(DISTBUILDIR)/$(PKG_RELEASENAME)/doc; make info)
 	(cd $(DISTBUILDIR)/$(PKG_RELEASENAME); mv $(PKGMOVES) .;  rm -rf $(PKGDELETES))
 	(cd $(DISTBUILDIR)/$(PKG_RELEASENAME); echo '(define-package "ProofGeneral" "$(PKG_VERSION)" "Emacs interface for Proof Assistants")' > ProofGeneral-pkg.el)
-- 
cgit v1.2.3