diff options
Diffstat (limited to 'dev-ml/jingoo/jingoo-1.4.2.ebuild')
| -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 +} |