install-info --delete should always be run in post-unexec