clean:
	rm -f *.dvi *.log *.aux *~ lex.yy.c

cleandir: clean
	rm -f *.eps

all: exo1.dfa
all: td.ps.gz

.SUFFIXES: .tex .eps .lex .dfa

.tex.eps:
	latex $< && dvips -E $*.dvi -o $*.eps

.lex.dfa:
	lex -T $< 2> $*.dfa && cc lex.yy.c -o $*

.lex:
	lex $< && cc lex.yy.c -o $*

td.ps.gz: *.tex *.lex
	latex td
	dvips td.dvi -o td.ps
	gzip -f td.ps