commit 14b020b1e83cc629edd0d04a899dec1209736d7c Author: Fredrik Rinnestam <fredrik@crux.nu> Date: Sat Jul 25 20:44:08 2015 +0200 which: move man-pages to /usr/share/man diff --git a/which/.footprint b/which/.footprint index 90d183e..95c6495 100644 --- a/which/.footprint +++ b/which/.footprint @@ -1,6 +1,7 @@ drwxr-xr-x root/root usr/ drwxr-xr-x root/root usr/bin/ -rwxr-xr-x root/root usr/bin/which -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man1/ --rw-r--r-- root/root usr/man/man1/which.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/which.1.gz diff --git a/which/Pkgfile b/which/Pkgfile index 266ebb7..b543373 100644 --- a/which/Pkgfile +++ b/which/Pkgfile @@ -4,13 +4,13 @@ name=which version=2.21 -release=1 +release=2 source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.gz) build() { cd $name-$version - ./configure --prefix=/usr --mandir=/usr/man + ./configure --prefix=/usr make make DESTDIR=$PKG install - rm -r $PKG/usr/share + rm -r $PKG/usr/share/info }