Description: "make clean" should also remove .cmi files
Author: Ralf Treinen <treinen@debian.org>

Index: pkglab/distcheck/Makefile
===================================================================
--- pkglab.orig/distcheck/Makefile	2011-09-30 16:06:53.000000000 +0200
+++ pkglab/distcheck/Makefile	2011-09-30 16:07:08.000000000 +0200
@@ -37,7 +37,7 @@
 	cp pscheck.opt $(BINDIR)
 
 clean:
-	rm -f distcheck distcheck.opt *.o *.cmo *.cmx
+	rm -f distcheck distcheck.opt *.o *.cmo *.cmx *.cmi
 
 %.cmo: %.ml
 	$(OCAMLC) -o $@ -c $^
