[gentoo-commits] proj/sci:master commit in: sci-mathematics/why3/

["Andrew Ammerlaan" <andrewammerlaan@riseup.net>]

commit:     e6a9d839270d75261caea7f633aea55c6bb9cd33
Author:     Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar  4 13:47:18 2021 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar  4 13:47:18 2021 +0000
URL:        https://gitweb.gentoo.org/proj/sci.git/commit/?id=e6a9d839

sci-mathematics/why3: fix StaticURL

Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>

 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
 }