aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-02-08 12:08:30 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-02-08 12:08:30 +0000
commitc44780ae98d1fdb8fa3212209d883afa079de665 (patch)
tree89719633aec931732ebd72f37e07656d12ed513e /etc
parentc269081bf1df520623a790dff8b3eb5c5ceb2aaf (diff)
Fix globs
Diffstat (limited to 'etc')
-rw-r--r--etc/ProofGeneral.spec2
1 files changed, 0 insertions, 2 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index ab2627b4..e29a4714 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -86,9 +86,7 @@ fi
%files
%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README.* REGISTER doc/* */README.*
%attr(-,root,root) /usr/share/info/ProofGeneral.info.*
-%attr(-,root,root) /usr/share/info/ProofGeneral.info-*.*
%attr(-,root,root) /usr/share/info/PG-adapting.info.*
-%attr(-,root,root) /usr/share/info/PG-adapting.info-*.*
%attr(-,root,root) /usr/bin/proofgeneral
%attr(-,root,root) /usr/bin/coqtags
%attr(-,root,root) /usr/bin/legotags