openmpi: use 'em.set_docfiles()'

scripts/openmpi.build

@@ -14,16 +14,9 @@ function em.configure() {
 		|| exit 1
 }
 
-function em.install_doc() {
-	install -m 0444 \
-		AUTHORS \
-		LICENSE \
-		NEWS \
-		README \
-		"${DOCDIR}"
-}
 
 em.add_to_family 'Compiler'
 em.set_runtime_dependencies "${COMPILER}"
 em.set_build_dependencies "${COMPILER}"
+em.set_docfiles 'AUTHORS' 'LICENSE' 'NEWS' 'README'
 em.make_all