From 97c12e7392ae2472f7bcee3eb42432c6ffc4bd82 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Dec 2000 16:12:45 +0000
Subject: Change info globs to work with mandrake

---
 etc/ProofGeneral.spec | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 0f60e873..ce30f0fb 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -82,10 +82,10 @@ fi
 
 %files
 %attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README README.devel doc/* 
-%attr(-,root,root) /usr/info/ProofGeneral.info.gz
-%attr(-,root,root) /usr/info/ProofGeneral.info-*.gz
-%attr(-,root,root) /usr/info/PG-adapting.info.gz
-%attr(-,root,root) /usr/info/PG-adapting.info-*.gz
+%attr(-,root,root) /usr/info/ProofGeneral.info.*
+%attr(-,root,root) /usr/info/ProofGeneral.info-*.*
+%attr(-,root,root) /usr/info/PG-adapting.info.*
+%attr(-,root,root) /usr/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