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 }
