diff options
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild index e27b14270409..8f82a9c4bb89 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild @@ -104,7 +104,7 @@ src_install() { dosym ../../../bin/why3${filename} ${cmdPath}/why3${filename} done rm "${D}"/usr/$(get_libdir)/why3/why3cpulimit - dosym ../../../bin/why3cpulimit /usr/$(get_libdir)/why3/why3cpulimit + dosym ../../bin/why3cpulimit /usr/$(get_libdir)/why3/why3cpulimit einstalldocs docompress -x /usr/share/doc/${PF}/examples |