[Pkg-ocaml-maint-commits] [SCM] pxp packaging branch, master, updated. debian/1.2.2-1-9-gae0a01c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit c1fa19e90866bf556ac57215ff9d2798e18323cb
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 11 11:19:16 2013 +0200

    Refresh patches

diff --git a/debian/patches/0002-Avoid-dependending-on-a-missing-.txt-document.patch b/debian/patches/0002-Avoid-dependending-on-a-missing-.txt-document.patch
index eb270b0..3ab97e0 100644
--- a/debian/patches/0002-Avoid-dependending-on-a-missing-.txt-document.patch
+++ b/debian/patches/0002-Avoid-dependending-on-a-missing-.txt-document.patch
@@ -4,13 +4,13 @@ Subject: Avoid dependending on a missing .txt document
 
 ---
  src/pxp-engine/Makefile.code |    3 +--
- 1 files changed, 1 insertions(+), 2 deletions(-)
+ 1 file changed, 1 insertion(+), 2 deletions(-)
 
 diff --git a/src/pxp-engine/Makefile.code b/src/pxp-engine/Makefile.code
-index ea34c23..81386ea 100644
+index 72b7fab..88a588e 100644
 --- a/src/pxp-engine/Makefile.code
 +++ b/src/pxp-engine/Makefile.code
-@@ -21,8 +21,7 @@ DOC =   pxp_types.mli pxp_document.mli pxp_dtd.mli pxp_tree_parser.mli \
+@@ -22,8 +22,7 @@ DOC =   pxp_types.mli pxp_document.mli pxp_dtd.mli pxp_tree_parser.mli \
    	pxp_marshal.mli pxp_yacc.mli pxp_reader.mli \
  	intro_trees.txt intro_extensions.txt intro_namespaces.txt \
          intro_events.txt intro_resolution.txt intro_getting_started.txt \

-- 
pxp packaging