diff options
| author | Danny Rawlins <monster.romster@gmail.com> | 2018-01-31 19:22:03 +1100 |
|---|---|---|
| committer | Danny Rawlins <monster.romster@gmail.com> | 2018-01-31 19:22:03 +1100 |
| commit | 4766a0daff2cca039213bc9e44ed47e3482bf34a (patch) | |
| tree | 86e5536ba35246bf3adb0c7e334188f1db944ab5 /prelink/Pkgfile | |
| parent | daf7854c3f726b27cc99bf996e8778668b45134a (diff) | |
| download | opt-4766a0daff2cca039213bc9e44ed47e3482bf34a.tar.gz opt-4766a0daff2cca039213bc9e44ed47e3482bf34a.tar.xz | |
prelink: move man pages
Diffstat (limited to 'prelink/Pkgfile')
| -rw-r--r-- | prelink/Pkgfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/prelink/Pkgfile b/prelink/Pkgfile index 2ffa681ed..9f72abb2f 100644 --- a/prelink/Pkgfile +++ b/prelink/Pkgfile @@ -15,6 +15,7 @@ build() { ./configure \ --prefix=/usr \ + --mandir=/usr/share/man \ --sysconfdir=/etc \ --disable-debug |