From: Stephane Glondu <steph@glondu.net>
Date: Fri, 21 Aug 2015 20:04:46 +0000 (+0200)
Subject: Refresh patches
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~128
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c83e1f92ed45eef515be89a449bfc423d84e02b3;p=ocaml.git

Refresh patches
---

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 d7c255de..ec2f29e4 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 =