From c44780ae98d1fdb8fa3212209d883afa079de665 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 12:08:30 +0000
Subject: Fix globs

---
 etc/ProofGeneral.spec | 2 --
 1 file changed, 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
-- 
cgit v1.2.3