[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/

[Maciej Barć]

commit:     793a720cdcd065874d2beb7efcad20e208b65bf7
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 27 21:10:53 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Nov 27 21:10:59 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=793a720c

dev-lang/idris2: use dodoc instead of insinto

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/idris2/idris2-0.5.1_p20211112.ebuild | 5 +----
 1 file changed, 1 insertion(+), 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
 }