From e6a9d839270d75261caea7f633aea55c6bb9cd33 Mon Sep 17 00:00:00 2001 From: Andrew Ammerlaan Date: Thu, 4 Mar 2021 14:47:18 +0100 Subject: sci-mathematics/why3: fix StaticURL Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan --- sci-mathematics/why3/why3-1.3.3.ebuild | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/sci-mathematics/why3/why3-1.3.3.ebuild b/sci-mathematics/why3/why3-1.3.3.ebuild index ab4a54b91..62706c32f 100644 --- a/sci-mathematics/why3/why3-1.3.3.ebuild +++ b/sci-mathematics/why3/why3-1.3.3.ebuild @@ -15,7 +15,7 @@ inherit python-any-r1 docs DESCRIPTION="Why3 is a platform for deductive program verification" HOMEPAGE="http://why3.lri.fr/" -SRC_URI="https://gforge.inria.fr/frs/download.php/file/38367/why3-1.3.3.tar.gz" +SRC_URI="https://gforge.inria.fr/frs/download.php/file/38367/${P}.tar.gz" LICENSE="LGPL-2" SLOT="0" @@ -59,9 +59,5 @@ src_compile() { src_install(){ default - - if use examples; then - insinto /usr/share/doc/${PF} - doins -r examples - fi + use examples && dodoc -r examples } -- cgit v1.2.3-65-gdbad