diff options
| author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2004-06-29 12:53:34 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2004-06-29 12:53:34 +0000 |
| commit | efe068de91a38cfe4a88afe5c9ce1fec0fc0364b (patch) | |
| tree | 4e98ba15ea07a9c4385b6f619637ae2bda2c9ccc /debian | |
| parent | 85f55c859e0c4896d4728471f2b870112bc67992 (diff) | |
| download | mpv-efe068de91a38cfe4a88afe5c9ce1fec0fc0364b.tar.bz2 mpv-efe068de91a38cfe4a88afe5c9ce1fec0fc0364b.tar.xz | |
freedesktop.org compliant menu support
patch by Piero Di Vita <scognito@libero.it>
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@12728 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/dirs | 2 | ||||
| -rw-r--r-- | debian/menu | 2 | ||||
| -rwxr-xr-x | debian/rules | 4 |
3 files changed, 7 insertions, 1 deletions
diff --git a/debian/dirs b/debian/dirs index c2d7eef0c8..2f9e04a32b 100644 --- a/debian/dirs +++ b/debian/dirs @@ -2,3 +2,5 @@ usr/bin usr/share/man/man1 usr/share/mplayer usr/lib/mplayer +usr/share/applications +usr/share/icons diff --git a/debian/menu b/debian/menu index cd10901372..9d65209714 100644 --- a/debian/menu +++ b/debian/menu @@ -1 +1 @@ -?package(mplayer):command=/usr/bin/gmplayer section="Apps/Viewers" needs=X11 title=gmplayer +?package(mplayer):command=/usr/bin/gmplayer section="Apps/Viewers" needs="X11" title=MPlayer icon=/usr/share/icons/MPlayer_mini.xpm diff --git a/debian/rules b/debian/rules index 9808aadc09..54218964f3 100755 --- a/debian/rules +++ b/debian/rules @@ -52,6 +52,10 @@ binary-arch: build # commands to install the package into debian/<packagename> $(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 + dh_link usr/bin/mplayer usr/bin/gmplayer \ usr/share/man/man1/mplayer.1.gz usr/share/man/man1/gmplayer.1.gz |