diff options
| author | David Aspinall | 2002-07-18 13:04:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 13:04:42 +0000 |
| commit | d272fd5b6bbe0577fb4756dc0392126519a0ec3d (patch) | |
| tree | 5b6634846f49c903d2af1da4539a959d238c568c | |
| parent | 033ef90fe169d5067020c1164373299e4c75005e (diff) | |
fix README rename.
| -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 |