From 48173abca439b6c3bf7d3685bbf5c8e187552be6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 17:52:53 +0000
Subject: Fix URL of source

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index e217c7ee..aa00d27d 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -6,7 +6,7 @@ Group:		Applications/Editors/Emacs
 Copyright:	LFCS, University of Edinburgh
 Url:		http://www.proofgeneral.org/
 Packager:	David Aspinall <da@dcs.ed.ac.uk>
-Source:		http://www.proofgeneral.org/proofgen/ProofGeneral-3.2pre000926.tar.gz
+Source:		http://www.proofgeneral.org/ProofGeneral-3.2pre000926.tar.gz
 BuildRoot:	/tmp/ProofGeneral-root
 Patch:		ProofGeneral.patch
 PreReq:		/sbin/install-info
-- 
cgit v1.2.3