diff options
| -rw-r--r-- | etc/ProofGeneral.spec | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 55994cf9..7fc63b12 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -79,16 +79,22 @@ fi %attr(-,root,root) /usr/bin/legotags %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/coq -%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/coq/{*.el,*.v} +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/coq/*.el +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/coq/*.v %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/lego -%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/lego/{*.el,*.l} +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/lego/*.el +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/lego/*.l %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/isa -%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isa/{*.el,*.thy,*.ML} +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isa/*.el +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isa/*.thy +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isa/*.ML %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/isar -%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isar/{*.el,*.thy} +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isar/*.el +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/isar/*.thy %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/hol98 -%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/hol98/{*.el,*.sml} +%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/images %attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/images/* %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral/generic -%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/generic/{*.el} +%attr(-,root,root) %dir /usr/share/emacs/ProofGeneral/generic/*.el |