install-info --quiet --remove #FILE#