[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-2-4-gb69e5b3

[Ralf Treinen]

The following commit has been merged in the master branch:
commit aca399c0a9e245166e22d115eb71bf775c59140e
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Jun 18 22:40:50 2009 +0200

    fix upstream Makefile (remove cmi for clean)

diff --git a/debian/changelog b/debian/changelog
index 21b7e0b..dae15c3 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,9 @@ pkglab (1.4.2-3) unstable; urgency=low
 
   * Issue a warning in case a package is mentioned in the 
     -checkonly option but is not available (closes: #519859).
+  * Fix clean target in distcheck/Makefile (add removal of *.cmi)
 
- -- Ralf Treinen <treinen at debian.org>  Thu, 18 Jun 2009 22:35:42 +0200
+ -- Ralf Treinen <treinen at debian.org>  Thu, 18 Jun 2009 22:40:35 +0200
 
 pkglab (1.4.2-2) unstable; urgency=low
 
diff --git a/distcheck/Makefile b/distcheck/Makefile
index 442ec4c..15e0899 100644
--- a/distcheck/Makefile
+++ b/distcheck/Makefile
@@ -37,7 +37,7 @@ install: links
 	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 $^

-- 
pkglab packaging