The following commit has been merged in the patched branch:
commit 6ae2c0bf457b267c2f35ff09632aef0997616aef
Author: Eugeniy Meshcheryakov <[email protected]>
Date:   Mon May 11 15:07:30 2009 +0200

    Remove targets "patch" and "get-orig-source" from .PHONY

diff --git a/debian/rules b/debian/rules
index b331716..8e07612 100755
--- a/debian/rules
+++ b/debian/rules
@@ -96,4 +96,4 @@ binary: binary-indep binary-arch
 tag-patches:
        sh debian/tag-patches.sh $(TG_BRANCHES)
 
-.PHONY: build clean binary-indep binary-arch binary install patch 
get-orig-source tag-patches
+.PHONY: build clean binary-indep binary-arch binary install tag-patches

-- 
Debian packaging for coccinelle

_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to