# Last edited on 2026-02-09 07:54:36 by stolfi

all:
	echo "** make WHAT?" 1>&2; exit 1