From bf55d17d6e22924a5705d9fb5d594c6652842c90 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 12:55:34 +0000
Subject: Rename READMEs for different provers so dont clash with doc
 directive.

---
 etc/ProofGeneral.spec | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 7d72df82..aeea79b4 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -60,6 +60,8 @@ cp images/pgicon.png ${RPM_BUILD_ROOT}/usr/share/icons
 mkdir -p ${RPM_BUILD_ROOT}/usr/lib/menu
 mv etc/ProofGeneral.menu ${RPM_BUILD_ROOT}/usr/lib/menu/ProofGeneral
 
+for f in */README; do mv $f $f.`basename $f`; done
+
 cp -pr phox acl2 twelf coq lego isa isar hol98 images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral
 
 %clean
@@ -76,7 +78,7 @@ fi
 /sbin/install-info --delete /usr/info/PG-adapting.info.* /usr/info/dir
 
 %files
-%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README README.devel REGISTER doc/* */README
+%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README.* REGISTER doc/* */README.*
 %attr(-,root,root) /usr/info/ProofGeneral.info.*
 %attr(-,root,root) /usr/info/ProofGeneral.info-*.*
 %attr(-,root,root) /usr/info/PG-adapting.info.*
-- 
cgit v1.2.3