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

Package-Manager: Portage-2.3.8, Repoman-2.3.3

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 956e82a9c41404ed1a8018a719013369b5a30473..596bdfc7fe147960ad6e08c3997504049cfff3b1 100644 (file)
--- 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