FILES=MyArith.v Exponential.v MyList.v Utils.v Expansion.v
OBJS=$(FILES:%.v=%.vo)

all: $(OBJS) coq.tex

clean:
	rm -f $(OBJS) coq.tex

coq.tex: $(FILES)
	coqdoc -l --latex -o coq.tex --body-only --inputenc utf8 $(FILES)
	# The following was an idea for how to clean up the bad left
	# quotation mark on the Notation item.  However, that needs to
	# be handled specially in jbw-coq-doc.sty anyway, so we just
	# handle it there.
	#sed -i -e 's/</\\ensuremath{<}/g;s/>/\\ensuremath{>}/g;s/|/\\ensuremath{|}/g;s/ "/ ``/g;' coq.tex
	sed -i -e 's/</\\ensuremath{<}/g;s/>/\\ensuremath{>}/g;s/|/\\ensuremath{|}/g;' coq.tex

%.vo: %.v
	coqc $<

depend:
	coqdep $(FILES) > .depend

-include .depend