diff options
author | Fredrik Rinnestam <fredrik@crux.nu> | 2015-07-25 21:12:30 +0200 |
---|---|---|
committer | Fredrik Rinnestam <fredrik@crux.nu> | 2015-07-25 21:12:30 +0200 |
commit | 7c0b45ab00e1cc59fafb285a19d75c82cf509397 (patch) | |
tree | e441abe46f2eee05f561352a5374204784f783dc /sed | |
parent | 90bc0bca0534ae1f041297c18cfabe54246b20cb (diff) | |
download | core-7c0b45ab00e1cc59fafb285a19d75c82cf509397.tar.gz core-7c0b45ab00e1cc59fafb285a19d75c82cf509397.tar.xz |
sed: move man-pages to /usr/share/man
Diffstat (limited to 'sed')
-rw-r--r-- | sed/.footprint | 7 | ||||
-rw-r--r-- | sed/Pkgfile | 5 |
2 files changed, 6 insertions, 6 deletions
diff --git a/sed/.footprint b/sed/.footprint index 6a35cd82..3d4ca90e 100644 --- a/sed/.footprint +++ b/sed/.footprint @@ -1,6 +1,7 @@ drwxr-xr-x root/root bin/ -rwxr-xr-x root/root bin/sed drwxr-xr-x root/root usr/ -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man1/ --rw-r--r-- root/root usr/man/man1/sed.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/sed.1.gz diff --git a/sed/Pkgfile b/sed/Pkgfile index 8c8f24ed..8ee98a26 100644 --- a/sed/Pkgfile +++ b/sed/Pkgfile @@ -5,16 +5,15 @@ name=sed version=4.2.2 -release=1 +release=2 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2) build() { cd $name-$version ./configure --prefix=/usr \ - --mandir=/usr/man \ --exec-prefix=/ \ --disable-nls make make DESTDIR=$PKG install - rm -r $PKG/usr/share + rm -r $PKG/usr/share/info } |