diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2021-01-11 08:47:02 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-01-11 08:47:02 +0100 |
| commit | fd7a5eecc0861f2097e5876a1ad48937a5e6f9f1 (patch) | |
| tree | b00a0ee30464ce522d48070e593245d060fe0e46 /dev-ml/jingoo | |
| parent | dev-ml/uunf: fix dependency (diff) | |
| download | gentoo-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>
Diffstat (limited to 'dev-ml/jingoo')
| -rw-r--r-- | dev-ml/jingoo/jingoo-1.4.2.ebuild | 5 |
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 +} |