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

This commit is contained in:
Fredrik Rinnestam 2015-07-25 23:31:52 +02:00
parent 2d088952e7
commit b7407d275f
2 changed files with 9 additions and 9 deletions

View File

@ -3,8 +3,9 @@ drwxr-xr-x root/root usr/bin/
-rwxr-xr-x root/root usr/bin/egrep
-rwxr-xr-x root/root usr/bin/fgrep
-rwxr-xr-x root/root usr/bin/grep
drwxr-xr-x root/root usr/man/
drwxr-xr-x root/root usr/man/man1/
-rw-r--r-- root/root usr/man/man1/egrep.1.gz
-rw-r--r-- root/root usr/man/man1/fgrep.1.gz
-rw-r--r-- root/root usr/man/man1/grep.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/egrep.1.gz
-rw-r--r-- root/root usr/share/man/man1/fgrep.1.gz
-rw-r--r-- root/root usr/share/man/man1/grep.1.gz

View File

@ -5,17 +5,16 @@
name=grep
version=2.21
release=1
release=2
source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.xz)
build() {
cd $name-$version
./configure --prefix=/usr \
--disable-nls \
--mandir=/usr/man
--disable-nls
make
make DESTDIR=$PKG install
rm -r $PKG/usr/share
rm -r $PKG/usr/share/info
}