[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 25e65ef0581bcb7d70b000259d0d42e5c4f56603
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sat Jul 24 22:09:31 2010 +0200

    Fix patch temporarily

diff --git a/debian/patches/documentation-build.diff b/debian/patches/documentation-build.diff
index 0323961..54f2308 100644
--- a/debian/patches/documentation-build.diff
+++ b/debian/patches/documentation-build.diff
@@ -9,25 +9,13 @@ Signed-off-by: Eugeniy Meshcheryakov <eugen at debian.org>
  docs/Makefile |    6 +++---
  1 files changed, 3 insertions(+), 3 deletions(-)
 
-diff --git a/docs/Makefile b/docs/Makefile
-index 91d8e35..89eea99 100644
---- a/docs/Makefile
-+++ b/docs/Makefile
-@@ -3,12 +3,12 @@ SUBDIR=manual
- .PHONY: all clean distclean
+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: 
--	make -C $(SUBDIR)
-+#	make -C $(SUBDIR)
- 
- clean:
--	make -C $(SUBDIR) clean
-+#	make -C $(SUBDIR) clean
- 
- distclean:
--	make -C $(SUBDIR) distclean
-+#	make -C $(SUBDIR) distclean
- 
- 
--- 
-tg: (9b26161..) fixes/documentation-build (depends on: upstream)
+ all clean distclean::
+-	make -C $(SUBDIR) $@
++#	make -C $(SUBDIR) $@

-- 
Debian packaging for coccinelle