diff options
| author | David Aspinall | 2000-03-13 06:54:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-13 06:54:17 +0000 |
| commit | eef8d92568d393823eb7b3e3513d92ea369af17c (patch) | |
| tree | 3d96de4ae33cf0d01b8e3ccd68685b2cd6abfc6a | |
| parent | 8d8fc9d8fb4a28315bb253641654530aad47e1d6 (diff) | |
Fix globbing. Not as powerful as I'd hoped.
| -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 |