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