rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o matita matita.opt
distclean: clean
rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o matita matita.opt
distclean: clean
rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli