install-info  --delete ${INSTALL_ROOT}/usr/share/info/gawk.info      --info-dir  ${INSTALL_ROOT}/usr/share/info
install-info  --delete ${INSTALL_ROOT}/usr/share/info/gawkinet.info  --info-dir  ${INSTALL_ROOT}/usr/share/info
