From e7cf25eff54d7b33d2c674e3a58921d9bd956249 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Oct 1998 13:24:19 +0000
Subject: Added word new to release message

---
 Makefile.devel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.devel b/Makefile.devel
index b278ab1a..c0fe9717 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -163,7 +163,7 @@ tag:
 # of rpm installed on standard machines at dcs.ed, and we have to build with
 # that version.
 	(cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/ProofGeneral-.*.tar.gz/ProofGeneral-$(RELEASE_TAG).tar.gz/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old)
-	cvs commit -m"Set version tag for release." generic/proof-site.el html/download.html etc/ProofGeneral.spec
+	cvs commit -m"Set version tag for new release." generic/proof-site.el html/download.html etc/ProofGeneral.spec
 	cvs tag "$(CVS_RELEASENAME)"
 
 ############################################################
-- 
cgit v1.2.3