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