The following commit has been merged in the master branch:
commit 70a0fe70af532e7abf6197e987936a41f6b585e7
Author: Romain Beauxis <to...@rastageeks.org>
Date: Tue Mar 26 15:37:14 2013 -0500
Also cleanup this.
diff --git a/debian/rules b/debian/rules
index c079605..9ad4182 100755
--- a/debian/rules
+++ b/debian/rules
@@ -16,6 +16,7 @@ override_dh_auto_install:
override_dh_auto_clean:
make clean
+ rm -rf debian/*.log
override_dh_strip:
# We choose which object we strip since this is not trivial here..
--
mingw32-ocaml packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
