[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-35-g929b2cb

[Ralf Treinen]

The following commit has been merged in the master branch:
commit acb6900fc1501d1ed61598aae3e04b031f0e6d92
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Jul 21 21:43:34 2010 +0200

    isntall file for distcheck

diff --git a/debian/dose3-distcheck.install b/debian/dose3-distcheck.install
new file mode 100644
index 0000000..7ec5b8b
--- /dev/null
+++ b/debian/dose3-distcheck.install
@@ -0,0 +1 @@
+usr/bin/distcheck.*

-- 
dose3 packaging