comparison Makefile @ 41:d45ba7e9b266

Improve template generation; craft template for InductiveTypes
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 14:31:51 -0400
parents fd18331e5c0b
children 7021e94dbbec
comparison
equal deleted inserted replaced
40:02e8e9ef2746 41:d45ba7e9b266
49 dvi: 49 dvi:
50 xdvi latex/cpdt 50 xdvi latex/cpdt
51 51
52 templates: $(TEMPLATES) 52 templates: $(TEMPLATES)
53 53
54 templates/%.v: src/%.v 54 templates/%.v: src/%.v tools/make_template.ml
55 ocaml tools/make_template.ml <$< >$@ 55 ocaml tools/make_template.ml <$< >$@
56 56
57 cpdt.tgz: 57 cpdt.tgz:
58 hg archive -t tgz $@ 58 hg archive -t tgz $@
59 59