[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-7-g9cad0ed

[Ralf Treinen]

The following commit has been merged in the master branch:
commit c7416cdd0d52a78b362b1b99b95547d8082eaa75
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Thu May 31 10:29:29 2012 +0200

    refreshed patch binaries-prefix-edos

diff --git a/debian/changelog b/debian/changelog
index 443d12e..76e5aae 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
 dose3 (2.9.17-1) UNRELEASED; urgency=low
 
   * New upstream version.
+    - refreshed patch binaries-prefix-edos
 
- -- Ralf Treinen <treinen at debian.org>  Thu, 31 May 2012 10:16:44 +0200
+ -- Ralf Treinen <treinen at debian.org>  Thu, 31 May 2012 10:29:15 +0200
 
 dose3 (2.9.15-1) unstable; urgency=low
 
diff --git a/debian/patches/binaries-prefix-edos b/debian/patches/binaries-prefix-edos
index 8cb838c..080e3d3 100644
--- a/debian/patches/binaries-prefix-edos
+++ b/debian/patches/binaries-prefix-edos
@@ -3,8 +3,8 @@ Description: all binaries have prefix dose-
 
 Index: dose3/doc/manpages/distcheck.pod
 ===================================================================
---- dose3.orig/doc/manpages/distcheck.pod	2012-03-16 12:12:35.000000000 +0100
-+++ dose3/doc/manpages/distcheck.pod	2012-03-16 13:10:25.000000000 +0100
+--- dose3.orig/doc/manpages/distcheck.pod	2012-05-31 10:25:52.000000000 +0200
++++ dose3/doc/manpages/distcheck.pod	2012-05-31 10:25:54.000000000 +0200
 @@ -1,25 +1,25 @@
  =head1 NAME
  
@@ -96,8 +96,8 @@ Index: dose3/doc/manpages/distcheck.pod
  =cut
 Index: dose3/doc/manpages/buildcheck.pod
 ===================================================================
---- dose3.orig/doc/manpages/buildcheck.pod	2012-03-16 12:12:35.000000000 +0100
-+++ dose3/doc/manpages/buildcheck.pod	2012-03-16 12:17:33.000000000 +0100
+--- dose3.orig/doc/manpages/buildcheck.pod	2012-05-31 10:25:52.000000000 +0200
++++ dose3/doc/manpages/buildcheck.pod	2012-05-31 10:25:54.000000000 +0200
 @@ -1,19 +1,19 @@
  =head1 NAME
  
@@ -121,9 +121,9 @@ Index: dose3/doc/manpages/buildcheck.pod
  stanzas, called the source repository, whether a build environment for the
  packages of the source repository can be installed by using packages from the
  binary repository. For this, only package meta-information is taken into
-@@ -101,7 +101,7 @@
- 
+@@ -102,7 +102,7 @@
  =head1 SEE ALSO
+ 
  L<B<deb-control>(5)>, 
 -L<B<dose3-distcheck>(1)> 
 +L<B<dose-distcheck>(1)> 
@@ -132,8 +132,8 @@ Index: dose3/doc/manpages/buildcheck.pod
  <http://www.mancoosi.org> is the home page of the Mancoosi project. 
 Index: dose3/doc/manpages/outdated.pod
 ===================================================================
---- dose3.orig/doc/manpages/outdated.pod	2012-03-16 12:12:35.000000000 +0100
-+++ dose3/doc/manpages/outdated.pod	2012-03-16 13:11:27.000000000 +0100
+--- dose3.orig/doc/manpages/outdated.pod	2012-05-31 10:25:52.000000000 +0200
++++ dose3/doc/manpages/outdated.pod	2012-05-31 10:25:54.000000000 +0200
 @@ -1,16 +1,16 @@
  =head1 NAME
  
@@ -185,8 +185,8 @@ Index: dose3/doc/manpages/outdated.pod
   
 Index: dose3/doc/manpages/challenged.pod
 ===================================================================
---- dose3.orig/doc/manpages/challenged.pod	2012-03-16 12:12:35.000000000 +0100
-+++ dose3/doc/manpages/challenged.pod	2012-03-16 13:12:05.000000000 +0100
+--- dose3.orig/doc/manpages/challenged.pod	2012-05-31 10:25:52.000000000 +0200
++++ dose3/doc/manpages/challenged.pod	2012-05-31 10:27:33.000000000 +0200
 @@ -1,19 +1,19 @@
  =head1 NAME
  
@@ -235,10 +235,10 @@ Index: dose3/doc/manpages/challenged.pod
  
  =cut
  
-@@ -84,8 +84,8 @@
- Pietro Abate and Roberto Di Cosmo 
+@@ -85,8 +85,8 @@
  
  =head1 SEE ALSO
+ 
 -L<B<distcheck>(5)B<>>
 -L<B<outdated>(5)B<>> 
 +L<B<dose-distcheck>(1)B<>>
@@ -248,8 +248,8 @@ Index: dose3/doc/manpages/challenged.pod
  
 Index: dose3/doc/manpages/ceve.pod
 ===================================================================
---- dose3.orig/doc/manpages/ceve.pod	2012-03-16 12:12:02.000000000 +0100
-+++ dose3/doc/manpages/ceve.pod	2012-03-16 12:17:33.000000000 +0100
+--- dose3.orig/doc/manpages/ceve.pod	2012-05-31 10:25:52.000000000 +0200
++++ dose3/doc/manpages/ceve.pod	2012-05-31 10:25:54.000000000 +0200
 @@ -1,18 +1,18 @@
  =head1 NAME
  

-- 
dose3 packaging