diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 21:23:49 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 21:23:49 +0000 |
| commit | 5df993dd94744cd83f47ce79f2bb98f8964e4624 (patch) | |
| tree | a13eb57719b9ce36bf4e67749317407d17065be0 /Makefile.devel | |
| parent | a800a01b7ed5ad9905f39f1bedab60ccfe593412 (diff) | |
Hack names of xemacs-elc emacs-elc packages too
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index a99b4f77..16a369ab 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -348,6 +348,8 @@ tag: # Careful: the sed command below relies on previous value of PRERELEASE_TAG. if [ $(PRERELEASE_TAG) = $(VERSION) ]; then \ (cd $(HTMLDIR); mv $(DOWNLOADHTML) $(DOWNLOADHTML).old; sed -e 's|ProofGeneral-$(PRERELEASE_PREFIX)......|ProofGeneral-$(PRERELEASE_TAG)|g' $(DOWNLOADHTML).old > $(DOWNLOADHTML); rm $(DOWNLOADHTML).old); \ + (cd $(HTMLDIR); mv $(DOWNLOADHTML) $(DOWNLOADHTML).old; sed -e 's|ProofGeneral-emacs-elc-$(PRERELEASE_PREFIX)......|ProofGeneral-emacs-elc-$(PRERELEASE_TAG)|g' $(DOWNLOADHTML).old > $(DOWNLOADHTML); rm $(DOWNLOADHTML).old); \ + (cd $(HTMLDIR); mv $(DOWNLOADHTML) $(DOWNLOADHTML).old; sed -e 's|ProofGeneral-xemacs-elc-$(PRERELEASE_PREFIX)......|ProofGeneral-xemacs-elc-$(PRERELEASE_TAG)|g' $(DOWNLOADHTML).old > $(DOWNLOADHTML); rm $(DOWNLOADHTML).old); \ (cd $(HTMLDIR); mv $(DOWNLOADINFOHTML) $(DOWNLOADINFOHTML).old; sed -e 's|ProofGeneral-$(PRERELEASE_PREFIX)......|ProofGeneral-$(PRERELEASE_TAG)|g' $(DOWNLOADINFOHTML).old > $(DOWNLOADINFOHTML); rm $(DOWNLOADINFOHTML).old) \ fi # This hack to SOURCE: name is only needed because we have an obsolete version |