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