From eef8d92568d393823eb7b3e3513d92ea369af17c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Mar 2000 06:54:17 +0000
Subject: Fix globbing. Not as powerful as I'd hoped.

---
 etc/ProofGeneral.spec | 18 ++++++++++++------
 1 file 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
-- 
cgit v1.2.3