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