diff options
| author | Matt Housh <jaeger@crux.ninja> | 2015-08-12 11:06:49 -0500 |
|---|---|---|
| committer | Matt Housh <jaeger@crux.ninja> | 2015-08-12 11:06:49 -0500 |
| commit | 958692cf6fd7a2f0f9d73ac47ec17ec424d83959 (patch) | |
| tree | 758618005e08256c0cbd70f831d5db40059da1e2 /xorg-xf86-input-penmount | |
| parent | 608def8d2d9505539ae1372593e32a17e5317a3c (diff) | |
| download | xorg-958692cf6fd7a2f0f9d73ac47ec17ec424d83959.tar.gz xorg-958692cf6fd7a2f0f9d73ac47ec17ec424d83959.tar.xz | |
xorg-xf86-input-penmount: moved man pages to /usr/share/man
Diffstat (limited to 'xorg-xf86-input-penmount')
| -rw-r--r-- | xorg-xf86-input-penmount/.footprint | 7 | ||||
| -rw-r--r-- | xorg-xf86-input-penmount/Pkgfile | 4 |
2 files changed, 6 insertions, 5 deletions
diff --git a/xorg-xf86-input-penmount/.footprint b/xorg-xf86-input-penmount/.footprint index 77641bdb..b6f8049c 100644 --- a/xorg-xf86-input-penmount/.footprint +++ b/xorg-xf86-input-penmount/.footprint @@ -5,6 +5,7 @@ drwxr-xr-x root/root usr/lib/xorg/modules/ drwxr-xr-x root/root usr/lib/xorg/modules/input/ -rwxr-xr-x root/root usr/lib/xorg/modules/input/penmount_drv.la -rwxr-xr-x root/root usr/lib/xorg/modules/input/penmount_drv.so -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man4/ --rw-r--r-- root/root usr/man/man4/penmount.4.gz +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/man/ +drwxr-xr-x root/root usr/share/man/man4/ +-rw-r--r-- root/root usr/share/man/man4/penmount.4.gz diff --git a/xorg-xf86-input-penmount/Pkgfile b/xorg-xf86-input-penmount/Pkgfile index 2c245fb8..a8a2fbbf 100644 --- a/xorg-xf86-input-penmount/Pkgfile +++ b/xorg-xf86-input-penmount/Pkgfile @@ -5,13 +5,13 @@ name=xorg-xf86-input-penmount version=1.5.0 -release=1 +release=2 source=(http://xorg.freedesktop.org/releases/individual/driver/xf86-input-penmount-$version.tar.bz2) build() { cd xf86-input-penmount-$version - ./configure --prefix=/usr --mandir=/usr/man + ./configure --prefix=/usr make make DESTDIR=$PKG install |