From 432fdeca5126a5dcfda4c1e3f4d0df8868950d2c Mon Sep 17 00:00:00 2001 From: Victor Martinez Date: Fri, 13 Nov 2015 12:00:24 +0000 Subject: [PATCH] sed: updated mandir --- sed/.footprint | 7 ++++--- sed/Pkgfile | 6 ++---- 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/sed/.footprint b/sed/.footprint index 6a35cd8..3d4ca90 100644 --- a/sed/.footprint +++ b/sed/.footprint @@ -1,6 +1,7 @@ drwxr-xr-x root/root bin/ -rwxr-xr-x root/root bin/sed drwxr-xr-x root/root usr/ -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man1/ --rw-r--r-- root/root usr/man/man1/sed.1.gz +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/man/ +drwxr-xr-x root/root usr/share/man/man1/ +-rw-r--r-- root/root usr/share/man/man1/sed.1.gz diff --git a/sed/Pkgfile b/sed/Pkgfile index 63c9663..9464ae3 100644 --- a/sed/Pkgfile +++ b/sed/Pkgfile @@ -6,7 +6,7 @@ name=sed version=4.2.2 -release=1 +release=2 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2) build() { @@ -15,12 +15,10 @@ 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 } -- 2.26.2