[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/

[Alfredo Tupone]

commit:     68056447a56bcd1c6d4ff5c342651190889c252a
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 24 18:32:44 2017 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Oct 24 18:32:44 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=68056447

sci-mathematics/why3-for-spark: Adding examples

Package-Manager: Portage-2.3.8, Repoman-2.3.3

 sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | 2 ++
 1 file changed, 2 insertions(+)

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