diff --git a/vars/texinfo_host.vars b/vars/texinfo_host.vars new file mode 100644 index 0000000..18a0c0f --- /dev/null +++ b/vars/texinfo_host.vars @@ -0,0 +1,17 @@ +# +# set -o errexit -o noglob are assumed. +# + +pkg_texinfo_host_install_make_post() { + if [ -e "${PKG_DESTDIR}/bin/makeinfo" ]; then + ex_rtl_fileop mv "${PKG_DESTDIR}/bin/makeinfo" "${PKG_DESTDIR}/bin/makeinfo.dist"; + fi; + cat > "${PKG_DESTDIR}/bin/makeinfo" <