commit 1423a0d7f1770c54b9179d84f09b83c255ba5fe2 Author: Fredrik Rinnestam <fredrik@crux.nu> Date: Sat Jul 25 20:59:17 2015 +0200 time: move man-pages to /usr/share/man diff --git a/time/.footprint b/time/.footprint index a3f8961..b02474d 100644 --- a/time/.footprint +++ b/time/.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/time -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man1/ --rw-r--r-- root/root usr/man/man1/time.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/time.1.gz diff --git a/time/Pkgfile b/time/Pkgfile index d7bd745..54eda4b 100644 --- a/time/Pkgfile +++ b/time/Pkgfile @@ -4,7 +4,7 @@ name=time version=1.7 -release=2 +release=3 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz $name.1) build() { @@ -14,6 +14,6 @@ build() { make make prefix=$PKG/usr install rm -rf $PKG/usr/info - mkdir -p $PKG/usr/man/man1 - cp ../$name.1 $PKG/usr/man/man1 + mkdir -p $PKG/usr/share/man/man1 + cp ../$name.1 $PKG/usr/share/man/man1 }