default : main.dvi

FILES = \
all.bib \
main.tex \
canonical.tex \
eagercheck.tex \
lazycheck.tex \
inverse.tex \

main.dvi : $(FILES)

clean : 
	@rm -rf *.dvi *.pdf $(JUNK)