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