# Last edited on 2002-01-01 20:47:25 by stolfi

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