diff options
Diffstat (limited to 'etc/ProofGeneral.spec')
| -rw-r--r-- | etc/ProofGeneral.spec | 2 |
1 files changed, 1 insertions, 1 deletions
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.* |