# Last edited on 2002-01-01 20:42:03 by stolfi

all: 
	${MAKE} -f ../../Makefile single