diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 12:08:30 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 12:08:30 +0000 |
commit | c44780ae98d1fdb8fa3212209d883afa079de665 (patch) | |
tree | 89719633aec931732ebd72f37e07656d12ed513e /etc | |
parent | c269081bf1df520623a790dff8b3eb5c5ceb2aaf (diff) |
Fix globs
Diffstat (limited to 'etc')
-rw-r--r-- | etc/ProofGeneral.spec | 2 |
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 |