diff options
Diffstat (limited to 'dev-ml/menhir')
| -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 } |