diff options
author | Maciej Barć <xgqt@gentoo.org> | 2021-11-27 22:10:53 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2021-11-27 22:10:59 +0100 |
commit | 793a720cdcd065874d2beb7efcad20e208b65bf7 (patch) | |
tree | e9c9f3d7bfa728a346dc1994480b9501cfe403c2 /dev-lang/idris2 | |
parent | dev-java/openjdk-jre-bin: bump to eapi8 (diff) | |
download | gentoo-793a720cdcd065874d2beb7efcad20e208b65bf7.tar.gz gentoo-793a720cdcd065874d2beb7efcad20e208b65bf7.tar.bz2 gentoo-793a720cdcd065874d2beb7efcad20e208b65bf7.zip |
dev-lang/idris2: use dodoc instead of insinto
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/idris2')
-rw-r--r-- | dev-lang/idris2/idris2-0.5.1_p20211112.ebuild | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild index 8069d5960163..762d534c28a4 100644 --- a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild +++ b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild @@ -101,8 +101,5 @@ src_install() { einstalldocs # Install documentation - if use doc; then - insinto /usr/share/doc/${PF}/ - doins -r ./docs/build/html - fi + use doc && dodoc -r ./docs/build/html } |