diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2021-04-28 20:21:43 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2021-04-28 20:21:43 +0100 |
commit | 40aaaa64e86ba6710bbeb31c4615a6ce80e75e11 (patch) | |
tree | 758c221bad35c9288d0bd6df9c7dfc226728e52c /dev-ml/menhir/menhir-20190924.ebuild | |
parent | 8d5dbd847cbc704a6a06405856e94b461011afe3 (diff) |
gentoo resync : 28.04.2021
Diffstat (limited to 'dev-ml/menhir/menhir-20190924.ebuild')
-rw-r--r-- | dev-ml/menhir/menhir-20190924.ebuild | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/dev-ml/menhir/menhir-20190924.ebuild b/dev-ml/menhir/menhir-20190924.ebuild index c0bb1d2198fa..0b92e499c6d3 100644 --- a/dev-ml/menhir/menhir-20190924.ebuild +++ b/dev-ml/menhir/menhir-20190924.ebuild @@ -3,7 +3,7 @@ EAPI=7 -inherit findlib eutils +inherit findlib DESCRIPTION="LR(1) parser generator for the OCaml language" HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/" @@ -30,7 +30,13 @@ src_compile() { src_install() { findlib_src_preinst - emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install + + emake \ + PREFIX="${ED}"/usr \ + docdir="${ED}"/usr/share/doc/${PF} \ + $(use examples || echo "DOCS=manual.pdf") \ + install + use examples && docompress -x /usr/share/doc/${PF}/demos dodoc README.md CHANGES.md } |