all: echo "make test or make demo or make ??.out" config: build test: objects targets demo: targets DEMO objects: OBJECTS targets: objects TARGETS doc: html: javadoc JFLAGS name clean: CLEAN rm -f *.class *.o *.out *.out core rm -f -r Templates.DB GARBAGE