commit e076a4b376e6ecd80514c118197f93ffe9b24ae8 Author: Fredrik Rinnestam <fredrik@crux.nu> Date: Sat Jul 25 21:29:45 2015 +0200 patch: move man-pages to /usr/share/man diff --git a/patch/.footprint b/patch/.footprint index b8675f2..21758de 100644 --- a/patch/.footprint +++ b/patch/.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/patch -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man1/ --rw-r--r-- root/root usr/man/man1/patch.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/patch.1.gz diff --git a/patch/Pkgfile b/patch/Pkgfile index d3b40d0..cb812ad 100644 --- a/patch/Pkgfile +++ b/patch/Pkgfile @@ -4,12 +4,12 @@ name=patch version=2.7.5 -release=1 +release=2 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.xz) build() { cd $name-$version - ./configure --prefix=/usr --mandir=/usr/man + ./configure --prefix=/usr make make DESTDIR=$PKG install }