| 1 |
commit: 06e720f4132ed3b5b5ad39dc3deb7e7493fdadc3 |
| 2 |
Author: Rafael Kitover <rkitover <AT> gmail <DOT> com> |
| 3 |
AuthorDate: Sat Oct 17 15:52:10 2020 +0000 |
| 4 |
Commit: Joonas Niilola <juippis <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sat Oct 31 09:47:40 2020 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06e720f4 |
| 7 |
|
| 8 |
dune.eclass: pass --mandir to dune install |
| 9 |
|
| 10 |
Closes: https://bugs.gentoo.org/749615 |
| 11 |
Signed-off-by: Rafael Kitover <rkitover <AT> gmail.com> |
| 12 |
Signed-off-by: Joonas Niilola <juippis <AT> gentoo.org> |
| 13 |
|
| 14 |
eclass/dune.eclass | 1 + |
| 15 |
1 file changed, 1 insertion(+) |
| 16 |
|
| 17 |
diff --git a/eclass/dune.eclass b/eclass/dune.eclass |
| 18 |
index 2cab58a1de0..334fbfbf791 100644 |
| 19 |
--- a/eclass/dune.eclass |
| 20 |
+++ b/eclass/dune.eclass |
| 21 |
@@ -50,6 +50,7 @@ dune-install() { |
| 22 |
dune install \ |
| 23 |
--prefix="${ED%/}/usr" \ |
| 24 |
--libdir="${D%/}$(ocamlc -where)" \ |
| 25 |
+ --mandir="${ED%/}/usr/share/man" \ |
| 26 |
"${pkg}" || die |
| 27 |
done |
| 28 |
} |
Archives