diff options
| author | David Aspinall | 2000-03-08 06:34:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-08 06:34:07 +0000 |
| commit | f0df8411f3e080f3d0c33299711cb0c78f034e06 (patch) | |
| tree | 550a489ae4951af2da9ba0d9edf5ae8c8ea192a0 | |
| parent | 857af9c4301cfe03768d00c425dd412a6ba0f5c5 (diff) | |
Put README.devel into spec file
| -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 |