From 0e586ee0d5d10fe115a0c470a85f157ecf401313 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Oct 2000 19:26:22 +0000
Subject: Tweak to ChangeLog production

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

diff --git a/Makefile.devel b/Makefile.devel
index 9db782b7..a248bfdd 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -219,7 +219,7 @@ tags:	$(EL)
 # Add recent messages to ChangeLog.  CVSROOT must be set correctly.
 #
 ChangeLog:	FORCE
-	rcs2log -h "dcs.ed.ac.uk" $(DEVELOPERS) | sed 's|/home/proofgen/src/ProofGeneral/||g' >> ChangeLog.prefix
+	rcs2log -h "dcs.ed.ac.uk" $(DEVELOPERS) | sed 's|/home/proofgen/src/ProofGeneral/||g' > ChangeLog.prefix
 	mv ChangeLog ChangeLog.old
 	cat ChangeLog.prefix ChangeLog.old > ChangeLog
 	rm ChangeLog.prefix ChangeLog.old
-- 
cgit v1.2.3