X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=34bbe632896c9a955df90d32fc5f3dbacee732f5;hb=e271fd61d46f9fa9b1e007e3bc2dd99cbfe5452a;hp=a126ab8accf1f0fec7ef97beac1bfea3537843f2;hpb=17c8be831a7b29ed9403317924394356eadf1945;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index a126ab8ac..34bbe6328 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -27,6 +27,7 @@ endif
 # objects for matita (GTK GUI)
 CMOS =				\
 	buildTimeConf.cmo	\
+	lablGraphviz.cmo	\
 	matitaTypes.cmo		\
 	matitaMisc.cmo		\
 	matitamakeLib.cmo	\