all:
	@echo Please read the build instructions in ../doc/HOW_TO_BUILD
	@echo before proceeding.  You will need to run ./configure with
	@echo the appropriate arguments.