# Last edited on 2004-01-29 14:49:58 by stolfi

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