From e87f0df6872de924855ae8991de88aa040ebe4bb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 May 2001 17:53:41 +0000
Subject: Add REGISTER to doc files.

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 9b3563db..3533e778 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 doc/* 
+%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README README.devel REGISTER doc/* 
 %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