.PHONY: proper
proper:
	rm -f *~ DEADJOE

.PHONY: clean
clean: proper
	rm -f *.log *.dvi
