gperf: move man-pages to /usr/share/man
This commit is contained in:
parent
b7407d275f
commit
7397c7fe05
@ -1,6 +1,7 @@
|
||||
drwxr-xr-x root/root usr/
|
||||
drwxr-xr-x root/root usr/bin/
|
||||
-rwxr-xr-x root/root usr/bin/gperf
|
||||
drwxr-xr-x root/root usr/man/
|
||||
drwxr-xr-x root/root usr/man/man1/
|
||||
-rw-r--r-- root/root usr/man/man1/gperf.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/gperf.1.gz
|
||||
|
@ -4,13 +4,13 @@
|
||||
|
||||
name=gperf
|
||||
version=3.0.4
|
||||
release=1
|
||||
release=2
|
||||
source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz)
|
||||
|
||||
build() {
|
||||
cd $name-$version
|
||||
./configure --prefix=/usr --mandir=/usr/man
|
||||
./configure --prefix=/usr
|
||||
make
|
||||
make DESTDIR=$PKG install
|
||||
rm -r $PKG/usr/share
|
||||
rm -r $PKG/usr/share/{doc,info}
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user