From c83e1f92ed45eef515be89a449bfc423d84e02b3 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 21 Aug 2015 22:04:46 +0200 Subject: [PATCH] Refresh 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 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 = -- 2.30.2