Mercurial > cpdt > repo
diff Makefile @ 350:ad315efc3b6b
Stub out new chapter
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 26 Oct 2011 11:19:52 -0400 |
parents | 4a432659a698 |
children | 3322367e955d |
line wrap: on
line diff
--- a/Makefile Tue Oct 25 10:56:00 2011 -0400 +++ b/Makefile Wed Oct 26 11:19:52 2011 -0400 @@ -1,6 +1,6 @@ MODULES_NODOC := CpdtTactics MoreSpecif DepList MODULES_PROSE := Intro -MODULES_CODE := StackMachine InductiveTypes Predicates Coinductive Subset \ +MODULES_CODE := StackMachine InductiveTypes Predicates Coinductive GeneralRec Subset \ MoreDep DataStruct Equality Generic Universes LogicProg Match Reflection \ Large MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE)