diff --git a/scripts/openmpi.build b/scripts/openmpi.build index 23a58ce..ba22b8c 100755 --- a/scripts/openmpi.build +++ b/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