From 907b02b26816eb30893c7d32969e7a8c07af1a57 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Oct 1998 13:32:11 +0000
Subject: Removed hyphen from prerelease name.

---
 Makefile.devel | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index 0d2759ec..d70a8cae 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -25,10 +25,13 @@
 
 # TODO: (da) Add target for byte compilation.
 
-# Release tags.  NB: CVS tags can't have points in them.
-RELEASE_TAG=2.0-pre$(shell date "+%y%m%d")
-CVS_RELEASE_TAG=2-0-pre$(shell date "+%y%m%d")
+# Release tags. 
+#   NB: 1. CVS tags can't have points in them.
+#       2. RPM names can't have hyphens in them
+RELEASE_TAG=2.0pre$(shell date "+%y%m%d")
+CVS_RELEASE_TAG=2-0pre$(shell date "+%y%m%d")
 NAME = ProofGeneral
+# Name of tar file and RPM file.
 RELEASENAME = ProofGeneral-$(RELEASE_TAG)
 
 # Where to release (i.e. copy) a new distribution to
-- 
cgit v1.2.3