diff options
author | Jakub Jirutka <jakub@jirutka.cz> | 2016-08-15 20:39:54 +0200 |
---|---|---|
committer | Jakub Jirutka <jakub@jirutka.cz> | 2016-08-15 20:39:54 +0200 |
commit | c3d109556a92005d3ddb06dd997c8780f5cd45c4 (patch) | |
tree | a0ee854a496f779610a353b7507bbc40ee615007 /testing/discount | |
parent | 6d70baa43d2519ad06d8fd37e701886df8b3e093 (diff) | |
download | aports-c3d109556a92005d3ddb06dd997c8780f5cd45c4.tar.bz2 aports-c3d109556a92005d3ddb06dd997c8780f5cd45c4.tar.xz |
testing/discount: fix location of man pages
Diffstat (limited to 'testing/discount')
-rw-r--r-- | testing/discount/APKBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testing/discount/APKBUILD b/testing/discount/APKBUILD index 5f322e0808..87293b3478 100644 --- a/testing/discount/APKBUILD +++ b/testing/discount/APKBUILD @@ -24,6 +24,7 @@ build() { cd "$builddir" ./configure.sh \ --prefix=/usr \ + --mandir=/usr/share/man \ --enable-all-features \ --with-fenced-code \ || return 1 |