diff --git a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild
index 8069d59601630..762d534c28a41 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
 }