From d272fd5b6bbe0577fb4756dc0392126519a0ec3d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 13:04:42 +0000
Subject: fix README rename.

---
 etc/ProofGeneral.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 37c50d6e..abd55689 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -60,7 +60,7 @@ cp images/pgicon.png ${RPM_BUILD_ROOT}/usr/share/icons
 mkdir -p ${RPM_BUILD_ROOT}/usr/lib/menu
 mv etc/ProofGeneral.menu ${RPM_BUILD_ROOT}/usr/lib/menu/ProofGeneral
 
-for f in */README; do mv $f $f.`basename $f`; done
+for f in */README; do mv $f $f.`dirname $f`; done
 
 cp -pr phox acl2 twelf coq lego isa isar hol98 images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral
 
-- 
cgit v1.2.3