1
0
forked from ports/opt

popt: move man-pages to /usr/share

This commit is contained in:
Juergen Daubert 2016-11-05 16:18:23 +01:00
parent caae6e19b7
commit 5429667883
3 changed files with 9 additions and 10 deletions

View File

@ -9,6 +9,7 @@ lrwxrwxrwx root/root usr/lib/libpopt.so.0 -> libpopt.so.0.0.0
-rwxr-xr-x root/root usr/lib/libpopt.so.0.0.0
drwxr-xr-x root/root usr/lib/pkgconfig/
-rw-r--r-- root/root usr/lib/pkgconfig/popt.pc
drwxr-xr-x root/root usr/man/
drwxr-xr-x root/root usr/man/man3/
-rw-r--r-- root/root usr/man/man3/popt.3.gz
drwxr-xr-x root/root usr/share/
drwxr-xr-x root/root usr/share/man/
drwxr-xr-x root/root usr/share/man/man3/
-rw-r--r-- root/root usr/share/man/man3/popt.3.gz

View File

@ -1,5 +1,5 @@
untrusted comment: verify with /etc/ports/opt.pub
RWSE3ohX2g5d/fSiUyqg2fyYWLzUZqU/F2tfjaWGWBO6cQ6/VfwlRul4dZ7XoCVr/KEi2LDyEEdwEr3ViGCLpGDrrkBzMgtxwQs=
SHA256 (Pkgfile) = 8e48d1eb4203d072f3753cd1744df5902182293d4371018c7d38d495cdf8d94a
SHA256 (.footprint) = 5ab79a7fedb7e86970980c4f3c3e0febc9b41c4984556ff639925d50342d3231
RWSE3ohX2g5d/eSIvRkdg9UC7Xz7k0YVCoq1o+pIzgiEGygTM4LOytn5kCuHXgFjy+06O9YHA6P17IQxzXbDJX0C9f1VhbLCegw=
SHA256 (Pkgfile) = 55bc36525766c7485fb8fa1733e983dcb35b6df62267eeb5fb9c03eb17a499ce
SHA256 (.footprint) = ca061300ec5c3d41243c6e0670e672aa7a8d8dac0e5775f898802bd301eaae5e
SHA256 (popt-1.16.tar.gz) = e728ed296fe9f069a0e005003c3d6b2dde3d9cad453422a10d6558616d304cc8

View File

@ -7,14 +7,12 @@
name=popt
version=1.16
release=1
release=2
source=(http://rpm5.org/files/$name/$name-$version.tar.gz)
build() {
cd $name-$version
./configure --prefix=/usr \
--mandir=/usr/man \
--disable-nls
./configure --prefix=/usr --disable-nls
make
make DESTDIR=$PKG install
}