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

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 57bc87afe8e0e281d3a750106b822925bd99b334
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Mon Jun 2 16:52:46 2008 +0200

    rm .mlid upon clean

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

-- 
dose2 packaging