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

2015-07-25 20:44:08 +02:00 · 2015-07-25 20:44:08 +02:00 · 14b020b1e8
commit 14b020b1e8
parent 2727e9dc16
2 changed files with 7 additions and 6 deletions
--- 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
--- 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
 }