[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/0.2.2.deb-2-19-gf3e1171

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 1f64316b127d7fade438bd19e39ac8f56ddc5446
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sat Jul 24 22:36:32 2010 +0200

    documentation-build.diff - build documentation, authors clarified that it does not contain Front/Back Covers and Invariant Sections

diff --git a/debian/changelog b/debian/changelog
index a690a70..ad9262e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,12 +5,14 @@ coccinelle (0.2.3.deb-1) unstable; urgency=low
     - system-{pycaml,menhir,ocamlsexp}.diff - upstream build system can handle
       this
     - documentation-paths.diff - the manpage is generated using correct paths
+    - documentation-build.diff - build documentation, authors clarified that
+      it does not contain Front/Back Covers and Invariant Sections
   * New patches:
     - syslibs-depend.diff - fix depend targets when system libraries are used
   * Override clean directories in debian/rules: upstream makefile tries to
     clean directories removed in Debian package
 
- -- Євгеній Мещеряков <eugen at debian.org>  Sat, 24 Jul 2010 22:28:25 +0200
+ -- Євгеній Мещеряков <eugen at debian.org>  Sat, 24 Jul 2010 22:35:39 +0200
 
 coccinelle (0.2.2.deb-2) unstable; urgency=medium
 
diff --git a/debian/patches/documentation-build.diff b/debian/patches/documentation-build.diff
deleted file mode 100644
index 54f2308..0000000
--- a/debian/patches/documentation-build.diff
+++ /dev/null
@@ -1,21 +0,0 @@
-From: Eugeniy Meshcheryakov <eugen at debian.org>
-Subject: [PATCH] fixes/documentation-build
-
-Fix building of documentation (without manual directory)
-
-Signed-off-by: Eugeniy Meshcheryakov <eugen at debian.org>
-
----
- docs/Makefile |    6 +++---
- 1 files changed, 3 insertions(+), 3 deletions(-)
-
-Index: coccinelle/docs/Makefile
-===================================================================
---- coccinelle.orig/docs/Makefile	2010-07-24 21:56:14.000000000 +0200
-+++ coccinelle/docs/Makefile	2010-07-24 22:09:00.739470781 +0200
-@@ -13,4 +13,4 @@
- 	rm -f spatch.1
- 
- all clean distclean::
--	make -C $(SUBDIR) $@
-+#	make -C $(SUBDIR) $@
diff --git a/debian/patches/series b/debian/patches/series
index b6a2edf..56051ea 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1 @@
-documentation-build.diff
 syslibs-depend.diff

-- 
Debian packaging for coccinelle