Makefile revision f5ac0f8cf78c06be3a34e9a3bd092af73001ff63
# $Id$
.PHONY: check
check: annos
bash runcheck.sh ../annos
output: annos
bash runcheck.sh ../annos set
%:
(cd ../..; $(MAKE) $@)