# # set +o errexit -o noglob -o nounset is assumed. # pkg_texinfo_host_install_make_post() { if [ -e "${PKG_DESTDIR}/bin/makeinfo" ]; then if ! rtl_fileop mv "${PKG_DESTDIR}/bin/makeinfo" "${PKG_DESTDIR}/bin/makeinfo.dist"; then return 1; fi; fi; if ! cat > "${PKG_DESTDIR}/bin/makeinfo" <