25 lines
480 B
Plaintext
25 lines
480 B
Plaintext
# Description: The next generation of WMI
|
|
# URL: http://wmii.de/
|
|
# Maintainer: Simon Gloßner, viper at hometux dot de
|
|
|
|
name=wmii
|
|
version=2
|
|
release=2
|
|
source=(http://wmii.de/download/$name-$version.tar.gz $name-$version.patch)
|
|
|
|
build() {
|
|
cd $name-$version
|
|
|
|
# disable annoying mouse warping
|
|
patch -p1 < ../$name-$version.patch
|
|
|
|
make \
|
|
PREFIX=/usr \
|
|
MANPREFIX=/usr/man \
|
|
DESTDIR=$PKG install
|
|
|
|
chmod 644 $PKG/usr/man/man?/*
|
|
|
|
rm -r $PKG/usr/share/
|
|
}
|