install-info  --delete diff  --info-dir  ${INSTALL_ROOT}/usr/share/info
true


.