diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-25 17:52:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-25 17:52:09 +0000 |
| commit | b80afc738a5fb5d65d1cfd6264cf66a273b09b7f (patch) | |
| tree | 1c7b4bfb4420ddc5c54bc0bf09961046140807ef /etc | |
| parent | df3a3cbe4b42a91db133d089e3c13cee0207c166 (diff) | |
Add AF2 to RPM package.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ProofGeneral.spec | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index f1fe7fab..16874ffa 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -102,6 +102,9 @@ fi %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/hol98 %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/hol98/*.el %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/hol98/*.sml +%attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/af2 +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/af2/*.el +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/af2/*.af2 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/images %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/images/* %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/generic |