# Last edited on 2002-01-01 10:54:53 by stolfi

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