From 5dc3e23e29074108ca0a4412532f4e38be15fb9f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 Nov 1999 12:38:54 +0000
Subject: Add main README, COPYING to RPM.

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 2f1fd78b..e86c71e5 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -69,7 +69,7 @@ fi
 /sbin/install-info --delete /usr/info/ProofGeneral.info.gz /usr/info/dir
 
 %files
-%attr(-,root,root) %doc BUGS INSTALL CHANGES doc/*
+%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README doc/*
 %attr(-,root,root) /usr/info/ProofGeneral.info.gz
 %attr(-,root,root) /usr/info/ProofGeneral.info-*.gz
 %attr(-,root,root) /usr/bin/coqtags
-- 
cgit v1.2.3