#  Authors     [Robert Meolic (meolic@uni-mb.si)]
#  Revision    [$Revision: 33 $]
#  Date        [$Date: 2007-07-31 14:10:28 +0200 (Tue, 31 Jul 2007) $]

RM = rm -f

all: nop

nop:
	@echo Incorrect use of Makefile

clean:
	$(RM) bdd.dot
	$(RM) bdd.xdot
	$(RM) bdd.fun
