diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-30 19:08:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-30 19:08:40 +0000 |
commit | e65bf072f89678983cd7fc2fada7b411276850b7 (patch) | |
tree | 9d97e74d62afaccaba3170f01a3a602bf0f9ecb1 /Makefile.devel | |
parent | a49438c3d27a64631335fd135a3188d5c0125d65 (diff) |
Edit spec file to get tar file name right.
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index 13d7a72c..26224a0d 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -259,6 +259,7 @@ tag: # Tag proof-site.el and ProofGeneral.spec (cd generic; mv $(VERSIONFILE) $(VERSIONFILE).old; sed -e 's/defconst $(VERSIONVARIABLE) \".*\"/defconst $(VERSIONVARIABLE) \"Proof General Version $(FULLVERSION). Released by da$(DATEMSG).\"/g' $(VERSIONFILE).old > $(VERSIONFILE); rm $(VERSIONFILE).old) (cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/Version:.*$$/Version: $(FULLVERSION)/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old) + (cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/%setup.*$$/%setup -n ProofGeneral-$(VERSION)/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old) # Edit $(DOWNLOADHTML) only for prereleases. # Careful: the sed command below relies on previous value of PRERELEASE_TAG. if [ $(PRERELEASE_TAG) = $(VERSION) ]; then \ |