diff options
author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2004-07-09 15:35:26 +0000 |
---|---|---|
committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2004-07-09 15:35:26 +0000 |
commit | 70b6b14e508d128cd5f3a1dca776ecec11ed382d (patch) | |
tree | 32c65ca49cfcac7c4ba97fcaf0db1405cb6754d8 /debian | |
parent | 55a4120972c167b1b39723d9430d7c087ef4e793 (diff) | |
download | mpv-70b6b14e508d128cd5f3a1dca776ecec11ed382d.tar.bz2 mpv-70b6b14e508d128cd5f3a1dca776ecec11ed382d.tar.xz |
better menu icons by Piero di Vita <scognito@libero.it>
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@12785 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'debian')
-rw-r--r-- | debian/menu | 2 | ||||
-rwxr-xr-x | debian/rules | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/menu b/debian/menu index 9d65209714..446de17d83 100644 --- a/debian/menu +++ b/debian/menu @@ -1 +1 @@ -?package(mplayer):command=/usr/bin/gmplayer section="Apps/Viewers" needs="X11" title=MPlayer icon=/usr/share/icons/MPlayer_mini.xpm +?package(mplayer):command=/usr/bin/gmplayer section="Apps/Viewers" needs="X11" title=MPlayer icon=/usr/share/icons/mplayer-desktop.xpm diff --git a/debian/rules b/debian/rules index 54218964f3..e64347f94a 100755 --- a/debian/rules +++ b/debian/rules @@ -54,7 +54,7 @@ binary-arch: build $(MAKE) prefix=$(prefix)/usr BINDIR=$(prefix)/usr/bin CONFDIR=$(prefix)/etc/mplayer LIBDIR=$(prefix)/usr/lib DATADIR=$(prefix)/usr/share/mplayer MANDIR=$(prefix)/usr/share/man install install -m 644 -o 0 -g 0 etc/mplayer.desktop $(prefix)/usr/share/applications/mplayer.desktop - install -m 644 -o 0 -g 0 Gui/mplayer/pixmaps/MPlayer_mini.xpm $(prefix)/usr/share/icons/MPlayer_mini.xpm + install -m 644 -o 0 -g 0 Gui/mplayer/pixmaps/mplayer-desktop.xpm $(prefix)/usr/share/icons/mplayer-desktop.xpm dh_link usr/bin/mplayer usr/bin/gmplayer \ usr/share/man/man1/mplayer.1.gz usr/share/man/man1/gmplayer.1.gz |