# Last edited on 2005-10-01 12:09:00 by stolfi

all:
	@echo 'nothing to make here - "cd SUBDIR" and then "make"'