Package: lwt / 2.5.2-1

0001-Do-not-build-manual-manual.pdf.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
From: Nicolas Dandrimont <Nicolas.Dandrimont@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