matitaExcPp.cmo \
matitaEngine.cmo \
matitacLib.cmo \
+ applyTransformation.cmo \
+ matitaGtkMisc.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
- matitaGtkMisc.cmo \
- applyTransformation.cmo \
matitaMathView.cmo \
matitaGui.cmo \
$(NULL)
$(INSTALL_PROGRAMS_LINKS_MATITA); do\
ln -sf $$X.opt $$X;\
done
+ $(H)ln -sf matita.opt matita
+ $(H)ln -sf matitac.opt matitac
matita: matita.ml $(LIB_DEPS) $(CMOS)
$(H)echo " OCAMLC $<"