From fd7a5eecc0861f2097e5876a1ad48937a5e6f9f1 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Mon, 11 Jan 2021 08:47:02 +0100 Subject: dev-ml/jingoo: do not install in /usr/doc Closes: https://bugs.gentoo.org/764890 Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Alfredo Tupone --- dev-ml/jingoo/jingoo-1.4.2.ebuild | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'dev-ml/jingoo') diff --git a/dev-ml/jingoo/jingoo-1.4.2.ebuild b/dev-ml/jingoo/jingoo-1.4.2.ebuild index 0989a6b96f2d..8243636f76ae 100644 --- a/dev-ml/jingoo/jingoo-1.4.2.ebuild +++ b/dev-ml/jingoo/jingoo-1.4.2.ebuild @@ -21,3 +21,8 @@ RDEPEND="dev-ml/ppx_deriving DEPEND="${RDEPEND} test? ( dev-ml/ounit )" BDEPEND="dev-ml/dune" + +src_install() { + default + rm -r "${D}"/usr/doc || die +} -- cgit v1.2.3-65-gdbad