X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=307f3983a37d79c54cfe5d015ebe6fd781796a97;hb=fb8e346faf0b390cd8e81376e0dad8333547657a;hp=a317e78e133abe4dbbe4bf8d10f67d846f9b493e;hpb=34eeba761a4b94cc261e53021c45dc8379854fd1;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index a317e78e1..307f3983a 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -39,6 +39,7 @@ CMOS =				\
 	matitaScript.cmo	\
 	matitaGeneratedGui.cmo	\
 	matitaMathView.cmo 	\
+	lablGraphviz.cmo	\
 	matitaGui.cmo		\
 	$(NULL)
 # objects for matitac (batch compiler)
@@ -224,7 +225,7 @@ dist_library@%:
 
 endif
 
-dist_pre:
+dist_pre: matitaGeneratedGui.ml matitaGeneratedGui.mli
 	$(MAKE) -C dist/ dist_pre
 
 DESTDIR = $(RT_BASE_DIR)