This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository lwt.
commit e79dbf7b12c5ed34ca5640769121d0e1ec81c9da Author: Stephane Glondu <st...@glondu.net> Date: Wed Jul 26 07:26:08 2017 +0200 Remove patch: there is no more manual to not build --- .../0001-Do-not-build-manual-manual.pdf.patch | 48 ---------------------- debian/patches/series | 1 - 2 files changed, 49 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 deleted file mode 100644 index 89688c9..0000000 --- a/debian/patches/0001-Do-not-build-manual-manual.pdf.patch +++ /dev/null @@ -1,48 +0,0 @@ -From: Nicolas Dandrimont <nicolas.dandrim...@crans.org> -Date: Tue, 19 Apr 2011 09:32:12 +0200 -Subject: Do not build manual/manual.pdf - ---- - setup.ml | 8 ++++---- - 1 file changed, 4 insertions(+), 4 deletions(-) - -diff --git a/setup.ml b/setup.ml -index b9fec8a..9eaa8b2 100644 ---- a/setup.ml -+++ b/setup.ml -@@ -6861,7 +6861,7 @@ let setup_t = - CustomPlugin.cmd_main = - [ - (OASISExpr.EBool true, -- ("make", ["-C"; "manual"; "manual.pdf"])) -+ ("true", [])) - ]; - cmd_clean = [(OASISExpr.EBool true, None)]; - cmd_distclean = [(OASISExpr.EBool true, None)] -@@ -6927,7 +6927,7 @@ let setup_t = - CustomPlugin.cmd_main = - [ - (OASISExpr.EBool true, -- ("make", ["-C"; "manual"; "manual.pdf"])) -+ ("true", [])) - ]; - cmd_clean = [(OASISExpr.EBool true, None)]; - cmd_distclean = [(OASISExpr.EBool true, None)] -@@ -6991,7 +6991,7 @@ let setup_t = - CustomPlugin.cmd_main = - [ - (OASISExpr.EBool true, -- ("make", ["-C"; "manual"; "manual.pdf"])) -+ ("true", [])) - ]; - cmd_clean = [(OASISExpr.EBool true, None)]; - cmd_distclean = [(OASISExpr.EBool true, None)] -@@ -7971,7 +7971,7 @@ let setup_t = - doc_authors = []; - doc_abstract = None; - doc_format = OtherDoc; -- doc_data_files = [("manual/manual.pdf", None)]; -+ doc_data_files = []; - doc_build_tools = [ExternalTool "ocamlbuild"] - }); - Doc diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index 97db22b..0000000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -0001-Do-not-build-manual-manual.pdf.patch -- 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