# objects for matita (GTK GUI)
CMOS = \
buildTimeConf.cmo \
+ lablGraphviz.cmo \
matitaTypes.cmo \
matitaMisc.cmo \
matitamakeLib.cmo \
endif
-dist_pre:
+dist_pre: matitaGeneratedGui.ml matitaGeneratedGui.mli
$(MAKE) -C dist/ dist_pre
DESTDIR = $(RT_BASE_DIR)