The following commit has been merged in the master branch:
commit b09434221444ba9d3c841087dec986b1c97ed1d0
Author: Samuel Mimram <[email protected]>
Date: Thu Feb 19 09:57:28 2009 +0100
More cleaning.
diff --git a/debian/rules b/debian/rules
index 880f109..5dd4787 100755
--- a/debian/rules
+++ b/debian/rules
@@ -52,6 +52,7 @@ clean: unpatch
[ ! -f config.make ] || $(MAKE) clean
-$(RM) config.status
-$(RM) config.log
+ -$(RM) $(OCAML_IN_FILES)
dh_clean config.make
--
lablgtk2 packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
