From 1423a0d7f1770c54b9179d84f09b83c255ba5fe2 Mon Sep 17 00:00:00 2001 From: Fredrik Rinnestam Date: Sat, 25 Jul 2015 20:59:17 +0200 Subject: time: move man-pages to /usr/share/man --- time/.footprint | 7 ++++--- time/Pkgfile | 6 +++--- 2 files changed, 7 insertions(+), 6 deletions(-) (limited to 'time') diff --git a/time/.footprint b/time/.footprint index a3f89618..b02474d5 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 d7bd7454..54eda4b0 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 } -- cgit v1.2.3