.SUFFIXES: .v .vo .vi .g .html .tex .g.tex .g.html

.v.vo:
	coqtop -boot -compile $*