[Pkg-ocaml-maint-commits] r3281 - in /trunk/packages/xml-light/trunk/debian: changelog patches/00list patches/04_dtd_trace.dpatch

[gildor at users.alioth.debian.org]

Author: gildor
Date: Thu Oct 26 21:26:34 2006
New Revision: 3281

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3281
Log:
* Add patch to remove a trace,
-- SLG

Added:
    trunk/packages/xml-light/trunk/debian/patches/04_dtd_trace.dpatch   (with props)
Modified:
    trunk/packages/xml-light/trunk/debian/changelog
    trunk/packages/xml-light/trunk/debian/patches/00list

Modified: trunk/packages/xml-light/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/xml-light/trunk/debian/changelog?rev=3281&op=diff
==============================================================================
--- trunk/packages/xml-light/trunk/debian/changelog (original)
+++ trunk/packages/xml-light/trunk/debian/changelog Thu Oct 26 21:26:34 2006
@@ -1,3 +1,9 @@
+xml-light (2.2-6) unstable; urgency=low
+
+  * Remove trace call (Closes: #382828, #383255)
+
+ -- Sylvain Le Gall <gildor at debian.org>  Thu, 26 Oct 2006 23:26:25 +0200
+
 xml-light (2.2-5) unstable; urgency=low
 
   * Use CDBS for debian/rules,

Modified: trunk/packages/xml-light/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/xml-light/trunk/debian/patches/00list?rev=3281&op=diff
==============================================================================
--- trunk/packages/xml-light/trunk/debian/patches/00list (original)
+++ trunk/packages/xml-light/trunk/debian/patches/00list Thu Oct 26 21:26:34 2006
@@ -1,3 +1,4 @@
 01_installopt
 02_cmi_depends
 03_cflags
+04_dtd_trace

Added: trunk/packages/xml-light/trunk/debian/patches/04_dtd_trace.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/xml-light/trunk/debian/patches/04_dtd_trace.dpatch?rev=3281&op=file
==============================================================================
--- trunk/packages/xml-light/trunk/debian/patches/04_dtd_trace.dpatch (added)
+++ trunk/packages/xml-light/trunk/debian/patches/04_dtd_trace.dpatch Thu Oct 26 21:26:34 2006
@@ -1,0 +1,26 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 04_dtd_trace.dpatch by Sylvain Le Gall <gildor at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at DPATCH@
+diff -urNad xml-light-2.2~/dtd.ml xml-light-2.2/dtd.ml
+--- xml-light-2.2~/dtd.ml	2005-02-18 10:01:54.000000000 +0100
++++ xml-light-2.2/dtd.ml	2006-10-26 23:22:25.000000000 +0200
+@@ -267,7 +267,7 @@
+ exception TmpResult of dtd_result
+ 
+ let prove_child dtd tag = 
+-	trace dtd tag;
++	(*trace dtd tag;*)
+ 	match dtd.current with
+ 	| DTDEmpty -> raise (Prove_error EmptyExpected)
+ 	| DTDAny -> ()
+@@ -505,4 +505,4 @@
+ 		sprintf "<!ELEMENT %s %s>" tag (etype_to_string etype)
+ 
+ ;;
+-to_string_ref := to_string
+\ No newline at end of file
++to_string_ref := to_string

Propchange: trunk/packages/xml-light/trunk/debian/patches/04_dtd_trace.dpatch
------------------------------------------------------------------------------
    svn:executable = *