diff options
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 |