[Pkg-ocaml-maint-commits] [ocaml] 01/03: Refresh patches

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch experimental/master
in repository ocaml.

commit c83e1f92ed45eef515be89a449bfc423d84e02b3
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 21 22:04:46 2015 +0200

    Refresh patches
---
 .../patches/0010-Enable-ocamldoc-to-build-reproducible-manpages.patch   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/patches/0010-Enable-ocamldoc-to-build-reproducible-manpages.patch b/debian/patches/0010-Enable-ocamldoc-to-build-reproducible-manpages.patch
index d7c255d..ec2f29e 100644
--- a/debian/patches/0010-Enable-ocamldoc-to-build-reproducible-manpages.patch
+++ b/debian/patches/0010-Enable-ocamldoc-to-build-reproducible-manpages.patch
@@ -95,7 +95,7 @@ index e97db4b..2170fc9 100644
          bs b ("\""^(match !Global.title with Some t -> t | None -> "")^"\"\n");
          bs b ".SH NAME\n";
 diff --git a/ocamldoc/odoc_misc.ml b/ocamldoc/odoc_misc.ml
-index e938dbe..79bb713 100644
+index e938dbe..273a0ba 100644
 --- a/ocamldoc/odoc_misc.ml
 +++ b/ocamldoc/odoc_misc.ml
 @@ -223,9 +223,9 @@ let apply_opt f v_opt =

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml.git