From 9bd24f8b48f0c7b933c0bcc001c65d6972f0b849 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 3 Nov 1998 18:11:57 +0000
Subject: release now should make links to -latest names for fixed URLs. (needs
 testing)

---
 Makefile.devel | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Makefile.devel b/Makefile.devel
index 1bf2bfcf..6aeb14bf 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -42,6 +42,8 @@
 RELEASE_TAG=2.0pre$(shell date "+%y%m%d")
 CVS_RELEASE_TAG=2-0pre$(shell date "+%y%m%d")
 NAME = ProofGeneral
+LATESTNAME = ProofGeneral-latest
+DEVELLATESTNAME = ProofGeneral-devel-latest
 # Name of tar file and RPM file.
 RELEASENAME = ProofGeneral-$(RELEASE_TAG)
 DEVELRELEASENAME = ProofGeneral-$(RELEASE_TAG)-devel
@@ -86,6 +88,8 @@ RPM=rpm --rcfile $(RPMRC)
 
 RELEASENAMETAR = $(RELEASENAME).tar
 RELEASENAMETARGZ = $(RELEASENAMETAR).gz
+# What the RPM should be called.
+RELEASENAMERPM = $(RELEASENAME)-1.noarch.rpm
 
 DEVELRELEASENAMETAR = $(DEVELRELEASENAME).tar
 DEVELRELEASENAMETARGZ = $(DEVELRELEASENAMETAR).gz
@@ -295,6 +299,9 @@ release: distclean tag dist develdist
 	mkdir -p $(RELEASEDIR)
 	cp -pfr $(DISTBUILDIR)/* $(RELEASEDIR)
 	(cd $(RELEASEDIR); rm -f $(NAME); ln -s $(RELEASENAME) $(NAME))
+	(cd $(RELEASEDIR); ln -sf $(RELEASENAMETARGZ) $(LATESTNAME).tar.gz)
+	(cd $(RELEASEDIR); ln -sf $(RELEASENAME)-1.noarch.rpm $(LATESTNAME).noarch.rpm)
+	(cd $(RELEASEDIR); ln -sf $(DEVELRELEASENAMETARGZ) $(DEVELLATESTNAME).tar.gz)
 	@echo "*************************************************"
 	@echo " Finished installing dist."
 	@echo "*************************************************"
-- 
cgit v1.2.3