diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-24 10:38:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-24 10:38:24 +0000 |
| commit | a226f10e9ca3053df88f7692f1f5c524d85a647c (patch) | |
| tree | 468a435d5b3517c210f97a703c3af035ae6f9f1f /etc | |
| parent | 3563de3849c59f7b97fc9406960629a7258c8a84 (diff) | |
Add mmm and x-symbol
Diffstat (limited to 'etc')
| -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/* |