[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc12.deb-4-4-g0396d89

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit 0396d89637479c686a67719246591637a596e496
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Sun Jul 22 22:39:47 2012 +0200

    Remove patches:
    
      - install-python-coccilib.diff - applied upstream

diff --git a/debian/changelog b/debian/changelog
index a21ce67..7f8995f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10 @@
 coccinelle (1.0.0~rc14.deb-1) experimental; urgency=low
 
   * New upstream release
+  * Remove patches:
+    - install-python-coccilib.diff - applied upstream 
 
- -- Євгеній Мещеряков <eugen at debian.org>  Sun, 22 Jul 2012 22:36:26 +0200
+ -- Євгеній Мещеряков <eugen at debian.org>  Sun, 22 Jul 2012 22:39:20 +0200
 
 coccinelle (1.0.0~rc12.deb-4) unstable; urgency=low
 
diff --git a/debian/patches/install-python-coccilib.diff b/debian/patches/install-python-coccilib.diff
deleted file mode 100644
index 0478c92..0000000
--- a/debian/patches/install-python-coccilib.diff
+++ /dev/null
@@ -1,15 +0,0 @@
-From: Eugeniy Meshcheryakov <eugen at debian.org>
-Subject: Really install python modules
-
-Due to a typo python modules were not installed in the 'install' target.
---- a/Makefile
-+++ b/Makefile
-@@ -373,7 +373,7 @@
- 	$(INSTALL_DATA) python/coccilib/coccigui/pygui.gladep \
- 		$(DESTDIR)$(SHAREDIR)/python/coccilib/coccigui
- 
--install: install-man install-common $(PYTHON_TARGET)
-+install: install-man install-common $(PYTHON_INSTALL_TARGET)
- 	@if test -x spatch -o -x spatch.opt; then \
- 		$(MAKE) install-def;fi
- 	@if test -x spatch ; then \
diff --git a/debian/patches/series b/debian/patches/series
index 956eb85..87fc0b5 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1 @@
 pdf-docs-build.diff
-install-python-coccilib.diff

-- 
Debian packaging for coccinelle