X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcontribs%2FMakefile;h=9c104f361e6c6aac6d6eeac493e31f334f5327ba;hb=refs%2Ftags%2F0.4.95%407852;hp=4fb6a0f11c3af7615bce544ea05ef0d03c917e17;hpb=82c442e7e8159e6500ecfb1a49374897a37e8d81;p=helm.git

diff --git a/matita/contribs/Makefile b/matita/contribs/Makefile
index 4fb6a0f11..9c104f361 100644
--- a/matita/contribs/Makefile
+++ b/matita/contribs/Makefile
@@ -1,6 +1,6 @@
 GOALS = all opt clean clean.opt
 
-DEVELS = ../library ../legacy RELATIONAL LAMBDA-TYPES
+DEVELS = ../library ../legacy RELATIONAL LOGIC LAMBDA-TYPES
 
 $(GOALS): 
 	@$(foreach DEVEL, $(DEVELS), $(MAKE) -C $(DEVEL) $@;)