diff options
| author |   Andrew Ammerlaan <andrewammerlaan@riseup.net> | 2021-03-04 14:47:18 +0100 |
|---|---|---|
| committer | Andrew Ammerlaan <andrewammerlaan@riseup.net> | 2021-03-04 14:47:18 +0100 |
| commit | e6a9d839270d75261caea7f633aea55c6bb9cd33 (patch) | |
| tree | 32f419ef763d74a75f687ba62214b1c6716181b6 | |
| parent | sci-misc/opennlp-maxent: remove RedundantLongDescription (diff) | |
| download | sci-e6a9d839270d75261caea7f633aea55c6bb9cd33.tar.gz sci-e6a9d839270d75261caea7f633aea55c6bb9cd33.tar.bz2 sci-e6a9d839270d75261caea7f633aea55c6bb9cd33.zip | |
sci-mathematics/why3: fix StaticURL
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@riseup.net>
| -rw-r--r-- | sci-mathematics/why3/why3-1.3.3.ebuild | 8 |
1 files 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 } |