blob: 727a5fabc6432efa33dac0041373d84f5f42a445 (
plain)
1 # Description: Clipboard manager plugin for the Xfce4 panel
2 # URL: http://goodies.xfce.org/projects/panel-plugins/xfce4-clipman-plugin
3 # Maintainer: Jose V Beneyto, sepen at crux dot nu
4 # Packager: Jochem Kossen, jkossen at xs4all dot nl
5 # Depends on: xfce4-panel
6 # Group: xfce4
7
8 name=xfce4-clipman-plugin
9 version=1.2.3
10 release=1
11 source=(http://archive.xfce.org/src/panel-plugins/$name/${version%.*}/$name-$version.tar.bz2)
12
13 build() {
14 cd $name-$version
15
16 ./configure --prefix=/usr \
17 --libexecdir=/usr/lib \
18 --disable-static \
19 --disable-debug
20
21 make
22 make DESTDIR=$PKG install
23
24 rm -rf $PKG/usr/share/{doc,locale}
25 find $PKG/usr -type f -name '*.desktop' \
26 -exec sed -r '/\[.+\]=/d' -i {} \;
27 }
|