aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-29 10:52:11 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-29 10:52:11 +0000
commite53238209043643d726efe1e8c6575b39afa9bc1 (patch)
treefc4e3ce87b7be720ced49baab649e9d0d7ed59ae /etc
parent1c0679dc95862189860e240b43a3e9c046fe4a81 (diff)
Missing mkdir
Diffstat (limited to 'etc')
-rw-r--r--etc/ProofGeneral.spec7
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