[Pkg-ocaml-maint-commits] [lwt] 02/03: Refresh patches
Stéphane Glondu
glondu at alioth.debian.org
Sat Nov 9 07:20:39 UTC 2013
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository lwt.
commit d9e847674d7013850505d079496f0a71544458dd
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Nov 9 08:10:56 2013 +0100
Refresh patches
---
debian/patches/0001-Do-not-build-manual-manual.pdf.patch | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/debian/patches/0001-Do-not-build-manual-manual.pdf.patch b/debian/patches/0001-Do-not-build-manual-manual.pdf.patch
index 068009c..452796a 100644
--- a/debian/patches/0001-Do-not-build-manual-manual.pdf.patch
+++ b/debian/patches/0001-Do-not-build-manual-manual.pdf.patch
@@ -3,14 +3,14 @@ Date: Tue, 19 Apr 2011 09:32:12 +0200
Subject: Do not build manual/manual.pdf
---
- setup.ml | 6 +++---
+ setup.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/setup.ml b/setup.ml
-index f6c7214..6c95478 100644
+index e39d5ab..12fea33 100644
--- a/setup.ml
+++ b/setup.ml
-@@ -5601,7 +5601,7 @@ let setup_t =
+@@ -5748,7 +5748,7 @@ let setup_t =
CustomPlugin.cmd_main =
[
(OASISExpr.EBool true,
@@ -19,7 +19,7 @@ index f6c7214..6c95478 100644
];
cmd_clean = [(OASISExpr.EBool true, None)];
cmd_distclean = [(OASISExpr.EBool true, None)];
-@@ -5654,7 +5654,7 @@ let setup_t =
+@@ -5801,7 +5801,7 @@ let setup_t =
CustomPlugin.cmd_main =
[
(OASISExpr.EBool true,
@@ -28,7 +28,7 @@ index f6c7214..6c95478 100644
];
cmd_clean = [(OASISExpr.EBool true, None)];
cmd_distclean = [(OASISExpr.EBool true, None)];
-@@ -5705,7 +5705,7 @@ let setup_t =
+@@ -5852,7 +5852,7 @@ let setup_t =
CustomPlugin.cmd_main =
[
(OASISExpr.EBool true,
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/lwt.git
More information about the Pkg-ocaml-maint-commits
mailing list