From f693fcbd8b98e46665ae6027c2e7916b0610ed3f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jan 2008 14:39:49 +0000
Subject: Move to .tgz

---
 etc/ProofGeneral.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index c8c3dbbb..513c5ba3 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -6,7 +6,7 @@ Group:		Text Editors/Integrated Development Environments (IDE)
 License:	GPL
 Url:		http://proofgeneral.inf.ed.ac.uk/
 Packager:	David Aspinall <David.Aspinall@ed.ac.uk>
-Source:		http://proofgeneral.inf.ed.ac.uk/ProofGeneral-%{version}.tar.gz
+Source:		http://proofgeneral.inf.ed.ac.uk/ProofGeneral-%{version}.tgz
 BuildRoot:	/tmp/ProofGeneral-root
 BuildRequires:  emacs, xemacs
 PreReq:		/sbin/install-info
-- 
cgit v1.2.3