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 <st...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits