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

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 307f3983a..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	\
@@ -39,7 +40,6 @@ CMOS =				\
 	matitaScript.cmo	\
 	matitaGeneratedGui.cmo	\
 	matitaMathView.cmo 	\
-	lablGraphviz.cmo	\
 	matitaGui.cmo		\
 	$(NULL)
 # objects for matitac (batch compiler)