diff Makefile @ 383:e2c88317611f

Conclusion
author Adam Chlipala <adam@chlipala.net>
date Tue, 03 Apr 2012 15:10:04 -0400
parents d5112c099fbf
children 39c204d2262c
line wrap: on
line diff
--- a/Makefile	Sun Apr 01 15:14:44 2012 -0400
+++ b/Makefile	Tue Apr 03 15:10:04 2012 -0400
@@ -3,7 +3,7 @@
 MODULES_CODE  := StackMachine InductiveTypes Predicates Coinductive Subset GeneralRec \
 	MoreDep DataStruct Equality Generic Universes LogicProg Match Reflection \
 	Large ProgLang
-MODULES_DOC   := $(MODULES_PROSE) $(MODULES_CODE)
+MODULES_DOC   := $(MODULES_PROSE) $(MODULES_CODE) Conclusion
 MODULES       := $(MODULES_NODOC) $(MODULES_DOC)
 VS            := $(MODULES:%=src/%.v)
 TEX           := $(MODULES:%=latex/%.v.tex)