diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 10:52:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 10:52:11 +0000 |
commit | e53238209043643d726efe1e8c6575b39afa9bc1 (patch) | |
tree | fc4e3ce87b7be720ced49baab649e9d0d7ed59ae /etc | |
parent | 1c0679dc95862189860e240b43a3e9c046fe4a81 (diff) |
Missing mkdir
Diffstat (limited to 'etc')
-rw-r--r-- | etc/ProofGeneral.spec | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 27f062d2..af2b2e40 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -60,10 +60,11 @@ cp images/pgicon.png ${RPM_BUILD_ROOT}/usr/share/icons mkdir -p ${RPM_BUILD_ROOT}/usr/share/pixmaps cp images/pgicon.png ${RPM_BUILD_ROOT}/usr/share/pixmaps mkdir -p ${RPM_BUILD_ROOT}/usr/lib/menu -mkdir -p ${RPM_BUILD_ROOT}/etc/X11/applnk/Applications/ +mkdir -p ${RPM_BUILD_ROOT}/usr/share/applnk/Applications +mkdir -p ${RPM_BUILD_ROOT}/etc/X11/applnk/Applications mv etc/ProofGeneral.menu ${RPM_BUILD_ROOT}/usr/lib/menu/ProofGeneral # Mandrake -cp etc/ProofGeneral.desktop ${RPM_BUILD_ROOT}/usr/share/applnk/Applications/ # RH KDE -mv etc/ProofGeneral.desktop ${RPM_BUILD_ROOT}/etc/X11/applnk/Applications/ # RH Gnome +cp etc/ProofGeneral.desktop ${RPM_BUILD_ROOT}/usr/share/applnk/Applications # RH KDE +mv etc/ProofGeneral.desktop ${RPM_BUILD_ROOT}/etc/X11/applnk/Applications # RH Gnome for f in */README; do mv $f $f.`dirname $f`; done |