diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-04-28 14:59:27 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-04-28 14:59:27 +0000 |
| commit | 74bbc32ad24ee7fea5ecabfeea951b96de27baa4 (patch) | |
| tree | 114b2b09f5607474b6fbab4985ef07162ac191b9 /Makefile.devel | |
| parent | 5f594ebfe8c25d73ec295b3b64521f56f6b19d61 (diff) | |
Fix Make pkg in case package name same as release name.
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
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) |