diff options
| author | Fredrik Rinnestam <fredrik@crux.nu> | 2015-07-25 20:59:17 +0200 |
|---|---|---|
| committer | Fredrik Rinnestam <fredrik@crux.nu> | 2015-07-25 20:59:17 +0200 |
| commit | 1423a0d7f1770c54b9179d84f09b83c255ba5fe2 (patch) | |
| tree | 49e81dc1f9afa9058eaac0f5947589eb800c9862 /time | |
| parent | 2ff8135061ab2df33f27bfcf828891f55ca88456 (diff) | |
| download | core-1423a0d7f1770c54b9179d84f09b83c255ba5fe2.tar.gz core-1423a0d7f1770c54b9179d84f09b83c255ba5fe2.tar.xz | |
time: move man-pages to /usr/share/man
Diffstat (limited to 'time')
| -rw-r--r-- | time/.footprint | 7 | ||||
| -rw-r--r-- | time/Pkgfile | 6 |
2 files changed, 7 insertions, 6 deletions
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 } |