diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 10:42:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 10:42:49 +0000 |
commit | e2383e29558ed59085c17569fab010a34bcfc824 (patch) | |
tree | bc079e86e8122c14858f011c408c1fa2226990a2 /etc/ProofGeneral.spec | |
parent | 0567715edec1b3be97e3496779d7baf36c1fd09c (diff) |
Add specific READMEs.
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.* |