summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-01-11 08:47:02 +0100
committerAlfredo Tupone <tupone@gentoo.org>2021-01-11 08:47:02 +0100
commitfd7a5eecc0861f2097e5876a1ad48937a5e6f9f1 (patch)
treeb00a0ee30464ce522d48070e593245d060fe0e46
parentdev-ml/uunf: fix dependency (diff)
downloadgentoo-fd7a5eecc0861f2097e5876a1ad48937a5e6f9f1.tar.gz
gentoo-fd7a5eecc0861f2097e5876a1ad48937a5e6f9f1.tar.bz2
gentoo-fd7a5eecc0861f2097e5876a1ad48937a5e6f9f1.zip
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 <tupone@gentoo.org>
-rw-r--r--dev-ml/jingoo/jingoo-1.4.2.ebuild5
1 files changed, 5 insertions, 0 deletions
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
+}