diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:38:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:38:54 +0000 |
| commit | 5dc3e23e29074108ca0a4412532f4e38be15fb9f (patch) | |
| tree | b4673c2a9894c925b02a964d53ed1eab29502da2 /etc/ProofGeneral.spec | |
| parent | b29462f75d3d3dc361c06b1568d81662f3af979a (diff) | |
Add main README, COPYING to RPM.
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 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 |