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

This commit is contained in:
Fredrik Rinnestam 2015-07-26 00:00:25 +02:00
parent baddbd3a37
commit 454fa06b5a
2 changed files with 8 additions and 7 deletions

View File

@ -2,7 +2,8 @@ drwxr-xr-x root/root bin/
-rwxr-xr-x root/root bin/dash
lrwxrwxrwx root/root bin/sh -> dash
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/dash.1.gz
lrwxrwxrwx root/root usr/man/man1/sh.1.gz -> dash.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/dash.1.gz
lrwxrwxrwx root/root usr/share/man/man1/sh.1.gz -> dash.1.gz

View File

@ -4,15 +4,15 @@
name=dash
version=20150602
release=1
release=2
source=(http://jue.li/crux/files/$name-$version.tar.xz)
build() {
cd $name-$version
./autogen.sh
./configure --prefix= --mandir=/usr/man
./configure --prefix= --mandir=/usr/share/man
make
make DESTDIR=$PKG install
ln -s dash $PKG/bin/sh
ln -s dash.1 $PKG/usr/man/man1/sh.1
ln -s dash.1 $PKG/usr/share/man/man1/sh.1
}