diff Makefile @ 114:2f97c8177172

DepList
author Adam Chlipala <adamc@hcoop.net>
date Tue, 14 Oct 2008 14:49:51 -0400
parents ec0fb0f00f46
children ee676bf3d681
line wrap: on
line diff
--- a/Makefile	Tue Oct 14 13:05:43 2008 -0400
+++ b/Makefile	Tue Oct 14 14:49:51 2008 -0400
@@ -1,4 +1,4 @@
-MODULES_NODOC := Tactics MoreSpecif
+MODULES_NODOC := Tactics MoreSpecif DepList
 MODULES_PROSE := Intro
 MODULES_CODE  := StackMachine InductiveTypes Predicates Coinductive Subset \
 	MoreDep DataStruct