patch: move man-pages to /usr/share/man

2015-07-25 21:29:45 +02:00 · 2015-07-25 21:29:45 +02:00 · e076a4b376
commit e076a4b376
parent 8fa353d0a2
2 changed files with 6 additions and 5 deletions
--- 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
--- 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
 }