Remove some files that now exist in source package from clean target.

diff --git a/debian/rules b/debian/rules
index 3a7b21ac1d0c4773310448733f2bcd9ceaa87365..db899de86cd27399520816517ed02594e09095e5 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -182,9 +182,8 @@ endif
        -rm -Rf debian/$(SRCTARBALL) $(TESTDIR)
        find testsuite/tests/ -name '*.o' -delete
        find testsuite/tests/ -name '*.cmx*' -delete
-       find testsuite/tests/ -name '*.cmi' -delete
        find testsuite/tests/ -name '*.cmo' -delete
-       rm -f Makefile.common Makefile.config config.log config.status libtool runtime/caml/m.h runtime/caml/s.h testsuite/_log
+       rm -f Makefile.config config.log config.status libtool runtime/caml/m.h runtime/caml/s.h testsuite/_log
 
 .PHONY: override_dh_auto_install-arch override_dh_auto_install-indep
 override_dh_auto_install-arch: install-stamp-arch