# Makefile for doc/

all: minicoq.dvi

coq.dvi: coq.tex
	latex coq && latex coq

coq.tex::
	make -C .. doc/coq.tex

depend: kernel.dep.ps library.dep.ps

%.dot:
	(cd ../$*; ocamldep *.ml *.mli) | ocamldot -lr > $@

%.dep.ps: %.dot
	dot -Tps $< -o $@

clean::
	rm -f *~ *.log *.aux

.SUFFIXES: .tex .dvi .ps

.tex.dvi:
	latex $< && latex $<

.dvi.ps:
	dvips $< -o