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

This commit is contained in:
Fredrik Rinnestam 2015-07-25 22:56:35 +02:00
parent 2e0aed2cba
commit 770da2fff9
2 changed files with 7 additions and 6 deletions

View File

@ -3,6 +3,7 @@ drwxr-xr-x root/root usr/bin/
-rwxr-xr-x root/root usr/bin/make -rwxr-xr-x root/root usr/bin/make
drwxr-xr-x root/root usr/include/ drwxr-xr-x root/root usr/include/
-rw-r--r-- root/root usr/include/gnumake.h -rw-r--r-- root/root usr/include/gnumake.h
drwxr-xr-x root/root usr/man/ drwxr-xr-x root/root usr/share/
drwxr-xr-x root/root usr/man/man1/ drwxr-xr-x root/root usr/share/man/
-rw-r--r-- root/root usr/man/man1/make.1.gz drwxr-xr-x root/root usr/share/man/man1/
-rw-r--r-- root/root usr/share/man/man1/make.1.gz

View File

@ -4,13 +4,13 @@
name=make name=make
version=4.1 version=4.1
release=1 release=2
source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2) source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2)
build() { build() {
cd $name-$version cd $name-$version
./configure --prefix=/usr --mandir=/usr/man --disable-nls ./configure --prefix=/usr --disable-nls
make make
make DESTDIR=$PKG install make DESTDIR=$PKG install
rm -r $PKG/usr/share rm -r $PKG/usr/share/info
} }