rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o \
matita matita.opt matitac matitac.opt \
cicbrowser cicbrowser.opt \
- matitadep matitadep.opt
+ matitadep matitadep.opt \
+ matitaclean matitaclean.opt
distclean: clean
rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
rm -f config.log config.status Makefile buildTimeConf.ml