From 684e96fa2b6b0eec4ecc3c588baaa0c4b660d366 Mon Sep 17 00:00:00 2001 From: Fredrik Rinnestam Date: Sat, 25 Jul 2015 22:57:26 +0200 Subject: m4: move man-pages to /usr/share/man --- m4/.footprint | 7 ++++--- m4/Pkgfile | 6 +++--- 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/m4/.footprint b/m4/.footprint index 77bda8b4..4b9253cf 100644 --- a/m4/.footprint +++ b/m4/.footprint @@ -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 diff --git a/m4/Pkgfile b/m4/Pkgfile index d0dcc9d5..e6ac23e1 100644 --- a/m4/Pkgfile +++ b/m4/Pkgfile @@ -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 } -- cgit v1.2.3