5
5
# make distclean: remove any superflous files (recursively)
6
6
#----------------------------------------------------------------------
16
29
#----------------------------------------------------------------------
22
33
rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa minilex.ml