From f80af9f17c4049777f8dcf9a29c5ada9d2d648fe Mon Sep 17 00:00:00 2001 From: Matt Housh Date: Wed, 12 Aug 2015 11:06:49 -0500 Subject: [PATCH] xorg-xmodmap: moved man pages to /usr/share/man --- xorg-xmodmap/.footprint | 7 ++++--- xorg-xmodmap/Pkgfile | 4 ++-- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/xorg-xmodmap/.footprint b/xorg-xmodmap/.footprint index c7e43978..52eb94be 100644 --- a/xorg-xmodmap/.footprint +++ b/xorg-xmodmap/.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/xmodmap -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man1/ --rw-r--r-- root/root usr/man/man1/xmodmap.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/xmodmap.1.gz diff --git a/xorg-xmodmap/Pkgfile b/xorg-xmodmap/Pkgfile index 2e796999..79c82245 100644 --- a/xorg-xmodmap/Pkgfile +++ b/xorg-xmodmap/Pkgfile @@ -5,13 +5,13 @@ name=xorg-xmodmap version=1.0.9 -release=1 +release=2 source=(http://xorg.freedesktop.org/releases/individual/app/xmodmap-$version.tar.bz2) build() { cd xmodmap-$version - ./configure --prefix=/usr --mandir=/usr/man + ./configure --prefix=/usr make make DESTDIR=$PKG install