diff options
| -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 8904e123..accc6586 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 AUTHORS BUGS CHANGES COPYING INSTALL README doc/* +%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README README.devel doc/* %attr(-,root,root) /usr/info/ProofGeneral.info.gz %attr(-,root,root) /usr/info/ProofGeneral.info-*.gz %attr(-,root,root) /usr/bin/coqtags |