From 95e1345882e3631d08162b22a6241ea46dc79ead Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Sep 2000 17:16:23 +0000
Subject: Added Prefixes: tag

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 8e958995..0a93e402 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -10,7 +10,7 @@ Source:		http://www.dcs.ed.ac.uk/proofgen/ProofGeneral-3.2pre000920.tar.gz
 BuildRoot:	/tmp/ProofGeneral-root
 Patch:		ProofGeneral.patch
 PreReq:		/sbin/install-info
-Prefix:		/usr
+Prefixes:	/usr/share/emacs /usr/bin /usr/info
 BuildArchitectures: noarch
 
 %description
-- 
cgit v1.2.3