summaryrefslogtreecommitdiff
path: root/eclass
diff options
context:
space:
mode:
authorRafael Kitover <rkitover@gmail.com>2020-10-17 15:52:10 +0000
committerJoonas Niilola <juippis@gentoo.org>2020-10-31 11:47:40 +0200
commit06e720f4132ed3b5b5ad39dc3deb7e7493fdadc3 (patch)
treed5b7c6f1aec7cc3ae7f00333f9e32fc656dc0429 /eclass
parentdev-python/breathe: re-add ~hppa for 4.22.1 (diff)
downloadgentoo-06e720f4132ed3b5b5ad39dc3deb7e7493fdadc3.tar.gz
gentoo-06e720f4132ed3b5b5ad39dc3deb7e7493fdadc3.tar.bz2
gentoo-06e720f4132ed3b5b5ad39dc3deb7e7493fdadc3.zip
dune.eclass: pass --mandir to dune install
Closes: https://bugs.gentoo.org/749615 Signed-off-by: Rafael Kitover <rkitover@gmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Diffstat (limited to 'eclass')
-rw-r--r--eclass/dune.eclass1
1 files changed, 1 insertions, 0 deletions
diff --git a/eclass/dune.eclass b/eclass/dune.eclass
index 2cab58a1de0..334fbfbf791 100644
--- a/eclass/dune.eclass
+++ b/eclass/dune.eclass
@@ -50,6 +50,7 @@ dune-install() {
dune install \
--prefix="${ED%/}/usr" \
--libdir="${D%/}$(ocamlc -where)" \
+ --mandir="${ED%/}/usr/share/man" \
"${pkg}" || die
done
}