diff options
| author | GFdevelop | 2019-03-13 14:18:41 +0100 |
|---|---|---|
| committer | GFdevelop | 2019-03-13 14:18:41 +0100 |
| commit | 3d9d580408ff8dd4ed72323288155ad613e60eaa (patch) | |
| tree | 7a950b91b50489d8a20faa3368797e2a71d1268a /PKGBUILD | |
| parent | 97351ee63823363e9441adb2accd5fc1730f4b1b (diff) | |
| download | aur-3d9d580408ff8dd4ed72323288155ad613e60eaa.tar.gz | |
FIX: man dirs
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,7 +4,7 @@ _pkgname="userbindmount" pkgname="$_pkgname-git" pkgver=r6.149048f -pkgrel=1 +pkgrel=2 pkgdesc="A library and a utility command providing support for bind mount in user namespaces." arch=('any') url="https://github.com/rd235/$_pkgname" @@ -22,7 +22,7 @@ pkgver() { build() { cd "$_pkgname" - cmake -DCMAKE_INSTALL_PREFIX=/usr + cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_MANDIR=/usr/share/man make } |