commit 7c0b45ab00e1cc59fafb285a19d75c82cf509397 Author: Fredrik Rinnestam <fredrik@crux.nu> Date: Sat Jul 25 21:12:30 2015 +0200 sed: move man-pages to /usr/share/man 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 8c8f24e..8ee98a2 100644 --- a/sed/Pkgfile +++ b/sed/Pkgfile @@ -5,16 +5,15 @@ name=sed version=4.2.2 -release=1 +release=2 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2) build() { cd $name-$version ./configure --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 }