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