The following commit has been merged in the master branch:
commit 2d47b31ef6e1a63473d8055608d98453f3e98a27
Author: Nicolas Dandrimont <nicolas.dandrim...@crans.org>
Date:   Tue Apr 19 09:32:45 2011 +0200

    Add patch to disable manual/manual.pdf building

diff --git a/debian/patches/0001-Do-not-build-manual-manual.pdf.patch 
b/debian/patches/0001-Do-not-build-manual-manual.pdf.patch
new file mode 100644
index 0000000..d25496f
--- /dev/null
+++ b/debian/patches/0001-Do-not-build-manual-manual.pdf.patch
@@ -0,0 +1,40 @@
+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 |    6 +++---
+ 1 files changed, 3 insertions(+), 3 deletions(-)
+
+diff --git a/setup.ml b/setup.ml
+index c9e5217..069adc9 100644
+--- a/setup.ml
++++ b/setup.ml
+@@ -5153,7 +5153,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)];
+@@ -5198,7 +5198,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)];
+@@ -5240,7 +5240,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)];
+-- 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..97db22b
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Do-not-build-manual-manual.pdf.patch

-- 
Cooperative light-weight thread library for OCaml

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to