diff options
| -rw-r--r-- | etc/ProofGeneral.spec | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index bd935aa1..5dbc775f 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -110,6 +110,8 @@ fi %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/phox %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/acl2 %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/twelf +%attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/mmm +%attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/x-symbol %attr(-,root,root) /usr/share/emacs/ProofGeneral/images/* %attr(-,root,root) /usr/share/emacs/ProofGeneral/generic/* %attr(-,root,root) /usr/share/emacs/ProofGeneral/coq/* @@ -120,3 +122,5 @@ fi %attr(-,root,root) /usr/share/emacs/ProofGeneral/phox/* %attr(-,root,root) /usr/share/emacs/ProofGeneral/acl2/* %attr(-,root,root) /usr/share/emacs/ProofGeneral/twelf/* +%attr(-,root,root) /usr/share/emacs/ProofGeneral/mmm/* +%attr(-,root,root) /usr/share/emacs/ProofGeneral/x-symbol/* |