matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaMathView.cmo \
+ lablGraphviz.cmo \
matitaGui.cmo \
$(NULL)
# objects for matitac (batch compiler)
endif
-dist_pre:
+dist_pre: matitaGeneratedGui.ml matitaGeneratedGui.mli
$(MAKE) -C dist/ dist_pre
DESTDIR = $(RT_BASE_DIR)