TEXFILES = dml.tex preface.tex concepts.tex copying_lib.tex 
TEXFILES+= programming.tex install.tex compile.tex rtcg.tex eval.tex

dml.ps: dml.dvi
	dvips -o $@ $<

dml.dvi: $(TEXFILES) dml.aux
	latex dml.tex

dml.aux: $(TEXFILES)
	latex dml.tex
	rm dml.dvi

clean:
	rm *~ *.aux *.log *.toc || true
	rm rtcg.tex eval.tex || true

rtcg.tex: ../lib/rtcg.mli
	../lib/mli2tex.awk < $< > $@

eval.tex: ../lib/eval.mli
	../lib/mli2tex.awk < $< > $@