[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. f9e76baffb832a6c5a33d5f0a3de4309f2c0a65c

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit d350504fb4de309ba861885e91dc3c81e906161b
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Mon Jun 2 17:05:28 2008 +0200

    ensure *all* .mli are removed upon clean

diff --git a/Makefile.config.in b/Makefile.config.in
index 4b5e549..7735670 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -49,7 +49,7 @@ endif
 .PHONY: clean depend cmi-install
 clean:
 	rm -f $(CMOS) $(CMIS) $(CMXS) $(NAME).cma $(NAME).cmxa $(EXTRA_INSTALL) $(EXTRA_CLEAN) .depend
-	rm -f *.o *.a *.so *.mlid
+	rm -f *.o *.a *.so *.mlid *.cmi
 
 depend:
 	@OCAMLDEP@ $(SOURCES) $(MLIS) > .depend	

-- 
dose2 packaging