xorg-xset: moved man pages to /usr/share/man
This commit is contained in:
parent
783955d742
commit
16fb2b1686
@ -1,6 +1,7 @@
|
||||
drwxr-xr-x root/root usr/
|
||||
drwxr-xr-x root/root usr/bin/
|
||||
-rwxr-xr-x root/root usr/bin/xset
|
||||
drwxr-xr-x root/root usr/man/
|
||||
drwxr-xr-x root/root usr/man/man1/
|
||||
-rw-r--r-- root/root usr/man/man1/xset.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/xset.1.gz
|
||||
|
@ -5,13 +5,13 @@
|
||||
|
||||
name=xorg-xset
|
||||
version=1.2.3
|
||||
release=1
|
||||
release=2
|
||||
source=(http://xorg.freedesktop.org/releases/individual/app/xset-$version.tar.bz2)
|
||||
|
||||
build() {
|
||||
cd xset-$version
|
||||
|
||||
./configure --prefix=/usr --mandir=/usr/man
|
||||
./configure --prefix=/usr
|
||||
|
||||
make
|
||||
make DESTDIR=$PKG install
|
||||
|
Loading…
x
Reference in New Issue
Block a user