summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2017-10-24 20:32:44 +0200
committerTupone Alfredo <tupone@gentoo.org>2017-10-24 20:32:44 +0200
commit68056447a56bcd1c6d4ff5c342651190889c252a (patch)
treed2fee356dd1ec6fa0bb1cc757ff7813ad0921b11 /sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
parentapp-emulation/cloud-init: restricting tests (diff)
downloadgentoo-68056447a56bcd1c6d4ff5c342651190889c252a.tar.gz
gentoo-68056447a56bcd1c6d4ff5c342651190889c252a.tar.bz2
gentoo-68056447a56bcd1c6d4ff5c342651190889c252a.zip
sci-mathematics/why3-for-spark: Adding examples
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild')
-rw-r--r--sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild2
1 files changed, 2 insertions, 0 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
index 956e82a9c41..596bdfc7fe1 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
@@ -67,6 +67,8 @@ src_compile() {
src_install() {
default
emake DESTDIR="${D}" install_spark2014_dev
+ docompress -x /usr/share/doc/${PF}/examples
+ dodoc -r examples
if use doc; then
dodoc doc/manual.pdf
use html && dodoc -r doc/html