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

This commit is contained in:
Fredrik Rinnestam 2015-07-25 21:09:34 +02:00
parent 9ef66f0155
commit 9eb73264c4
2 changed files with 13 additions and 13 deletions

View File

@ -22,18 +22,19 @@ lrwxrwxrwx root/root usr/lib/sudo/libsudo_util.so.0 -> libsudo_util.so.0.0.0
-rw-r--r-- root/root usr/lib/sudo/sudoers.so
-rw-r--r-- root/root usr/lib/sudo/system_group.la
-rw-r--r-- root/root usr/lib/sudo/system_group.so
drwxr-xr-x root/root usr/man/
drwxr-xr-x root/root usr/man/man5/
-rw-r--r-- root/root usr/man/man5/sudo.conf.5.gz
-rw-r--r-- root/root usr/man/man5/sudoers.5.gz
drwxr-xr-x root/root usr/man/man8/
-rw-r--r-- root/root usr/man/man8/sudo.8.gz
-rw-r--r-- root/root usr/man/man8/sudo_plugin.8.gz
lrwxrwxrwx root/root usr/man/man8/sudoedit.8.gz -> sudo.8.gz
-rw-r--r-- root/root usr/man/man8/sudoreplay.8.gz
-rw-r--r-- root/root usr/man/man8/visudo.8.gz
drwxr-xr-x root/root usr/sbin/
-rwxr-xr-x root/root usr/sbin/visudo
drwxr-xr-x root/root usr/share/
drwxr-xr-x root/root usr/share/man/
drwxr-xr-x root/root usr/share/man/man5/
-rw-r--r-- root/root usr/share/man/man5/sudo.conf.5.gz
-rw-r--r-- root/root usr/share/man/man5/sudoers.5.gz
drwxr-xr-x root/root usr/share/man/man8/
-rw-r--r-- root/root usr/share/man/man8/sudo.8.gz
-rw-r--r-- root/root usr/share/man/man8/sudo_plugin.8.gz
lrwxrwxrwx root/root usr/share/man/man8/sudoedit.8.gz -> sudo.8.gz
-rw-r--r-- root/root usr/share/man/man8/sudoreplay.8.gz
-rw-r--r-- root/root usr/share/man/man8/visudo.8.gz
drwxr-xr-x root/root var/
drwxr-xr-x root/root var/lib/
drwx--x--x root/root var/lib/sudo/

View File

@ -5,7 +5,7 @@
name=sudo
version=1.8.14p3
release=1
release=2
source=(http://www.sudo.ws/$name/dist/$name-$version.tar.gz)
build() {
@ -13,7 +13,6 @@ build() {
./configure --prefix=/usr \
--libexecdir=/usr/lib \
--mandir=/usr/man \
--with-logfac=auth \
--with-vardir=/var/lib/sudo \
--with-rundir=/var/run/sudo \
@ -23,5 +22,5 @@ build() {
make
make DESTDIR=$PKG install
rm -r $PKG/usr/share
rm -r $PKG/usr/share/doc
}