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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 7a96bd5c585ae8a9a7e306e34ff0176cfa80f101
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Jun 15 21:34:57 2009 +0200

    name of the package has changed to distcheck

diff --git a/debian/contrib/edos-builddebcheck b/debian/contrib/edos-builddebcheck
index 7851cee..0a65820 100755
--- a/debian/contrib/edos-builddebcheck
+++ b/debian/contrib/edos-builddebcheck
@@ -76,7 +76,7 @@ if ( $architecture eq "" ) {
     }
 }
 
-open(RESULT,"/usr/share/edos-debcheck/add-sources.py ".
+open(RESULT,"/usr/share/edos-distcheck/add-sources.py ".
      "--prefix \"$sourceprefix\" < $packagefile $sourcesfile $architecture ".
      "| edos-debcheck $edosoptions|");
 

-- 
pkglab packaging