# Description: Sed - streams editor
# URL: http://www.gnu.org/software/sed//sed.html
# Maintainer: CRUX System Team, core-ports at crux dot nu
-# Arch Maintainer: CRUX-ARM System Team, crux-arm at mikeux dot dyndns dot org
+# Arch Maintainer: CRUX-ARM System Team, devel at crux-arm dot nu
# Depends on:
name=sed
-version=4.2.1
-release=1
+version=4.2.2
+release=2
source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2)
build() {
./configure --build=$CHOST \
--host=$CTARGET \
--prefix=/usr \
- --mandir=/usr/man \
--exec-prefix=/ \
--disable-nls
make
make DESTDIR=$PKG install
-
- rm -r $PKG/usr/share
+ rm -r $PKG/usr/share/info
}