From 5ffc9fd495b3528f80ec26da3ac3a8c8aea63c12 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Sep 2000 17:56:00 +0000
Subject: Fix for rpm braindead globbing.

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

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 45eff30b..228a68cc 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -52,8 +52,8 @@ mv lego/legotags coq/coqtags ${RPM_BUILD_ROOT}/usr/bin
 
 # Put info file in proper place, compress it.
 mkdir -p ${RPM_BUILD_ROOT}/usr/info
-mv doc/ProofGeneral.info* ${RPM_BUILD_ROOT}/usr/info
-mv doc/PG-adapting.info*  ${RPM_BUILD_ROOT}/usr/info
+mv doc/ProofGeneral.info doc/ProofGeneral.info-* ${RPM_BUILD_ROOT}/usr/info
+mv doc/PG-adapting.info  doc/PG-adapting.info-*  ${RPM_BUILD_ROOT}/usr/info
 gzip ${RPM_BUILD_ROOT}/usr/info/ProofGeneral.info 
 gzip ${RPM_BUILD_ROOT}/usr/info/PG-adapting.info*
 # Remove duff bits
-- 
cgit v1.2.3