From e2383e29558ed59085c17569fab010a34bcfc824 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 10:42:49 +0000
Subject: Add specific READMEs.

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 38a71c0f..4a792471 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -76,7 +76,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/* 
+%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README README.devel 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