if [ "$1" = remove ] || [ "$1" = upgrade ]; then
	install-info --quiet --remove #FILE#
fi
