# Last edited on 2002-01-01 18:35:08 by stolfi

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