forked from ports/contrib
di: Updated to version 4.10
This commit is contained in:
parent
fdde2a146b
commit
b89186dfc0
@ -4,17 +4,15 @@
|
||||
# Packager: Jose V Beneyto, joberui at ei dot upv dot es
|
||||
|
||||
name=di
|
||||
version=4.9
|
||||
version=4.10
|
||||
release=1
|
||||
source=(http://www.gentoo.com/$name/$name-$version.tar.gz)
|
||||
|
||||
build() {
|
||||
cd $name-$version
|
||||
make
|
||||
install -d $PKG/usr/bin
|
||||
install -m 755 $name $PKG/usr/bin
|
||||
install -D -m 0755 $name $PKG/usr/bin/$name
|
||||
ln -s $name $PKG/usr/bin/mi
|
||||
install -d $PKG/usr/man/man1/
|
||||
install -m 644 $name.1 $PKG/usr/man/man1
|
||||
install -D -m 0644 $name.1 $PKG/usr/man/man1/$name.1
|
||||
ln -s $name.1 $PKG/usr/man/man1/mi.1
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user