[Pkg-ocaml-maint-commits] [lwt] 07/11: Remove patch: there is no more manual to not build

[Stéphane Glondu]

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 <steph at 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.Dandrimont at 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