[Pkg-ocaml-maint-commits] [SCM] mlpost packaging branch, master, updated. debian/0.7.1-2-10-ga2d9320

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 1f6ed2251e61954cf3c2b9f8811cbaba24e46969
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Dec 25 11:47:24 2009 +0100

    Add No-tracingchoices-in-generated-MetaPost-sources.patch (cf #562358)

diff --git a/debian/patches/0001-No-tracingchoices-in-generated-MetaPost-sources.patch b/debian/patches/0001-No-tracingchoices-in-generated-MetaPost-sources.patch
new file mode 100644
index 0000000..6be5f7d
--- /dev/null
+++ b/debian/patches/0001-No-tracingchoices-in-generated-MetaPost-sources.patch
@@ -0,0 +1,31 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Fri, 25 Dec 2009 11:39:52 +0100
+Subject: [PATCH] No tracingchoices in generated MetaPost sources
+MIME-Version: 1.0
+Content-Type: text/plain; charset=UTF-8
+Content-Transfer-Encoding: 8bit
+
+Since TeX Live 2009, mpost exits with code 1 when it issues diagnosis
+messages, making the mlpost process exit identically.
+
+Bug-Debian: http://bugs.debian.org/562358
+Author: Stéphane Glondu <glondu at debian.org>
+---
+ metapost.ml |    3 ++-
+ 1 files changed, 2 insertions(+), 1 deletions(-)
+
+diff --git a/metapost.ml b/metapost.ml
+index b4eb5c7..5bfe232 100644
+--- a/metapost.ml
++++ b/metapost.ml
+@@ -251,7 +251,8 @@ enddef ;
+ vardef reset_extra_specials =
+   enddef ;
+ 
+-tracingchoices := 1;
++%% uncomment the following line for more verbose log
++% tracingchoices := 1;
+ 
+ @\n";
+   if eps then 
+-- 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..05e687d
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-No-tracingchoices-in-generated-MetaPost-sources.patch

-- 
mlpost packaging