diff options
| -rw-r--r-- | etc/ProofGeneral.spec | 2 |
1 files changed, 1 insertions, 1 deletions
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 |