SRC=diag_induction wronginduction nat_examples

TARGV=$(addsuffix .v, ${SRC})
TARGVO=$(addsuffix .vo, ${SRC})
TARGTEX=$(addsuffix .tex, ${SRC})

all: ${TARGVO} ${TARGTEX}

.PHONY: depend clean

clean: 
	rm -f  ${TARGVO} ${TARGTEX} *~
depend: 
	coqdep *.v > $@.mk

%.vo : %.v
	coqc $<

%.tex : %.v
	coqdoc --latex --body-only $<

sinclude depend.mk