[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.3.rc1+dfsg-1-12-ga361346

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit e942f0c9b2c6be2799f0858a11edaf26e17b18f8
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Oct 19 15:42:31 2010 +0200

    debian/rules: make "build" a phony target

diff --git a/debian/rules b/debian/rules
index ad1c70e..3471198 100755
--- a/debian/rules
+++ b/debian/rules
@@ -37,6 +37,12 @@ export OCAMLINIT_SED += \
 %:
 	+dh --with ocaml $@
 
+# There is already a file named "build" in upstream sources, so the
+# above rule is never called. We make it explicitly a phony rule here.
+.PHONY: build
+build:
+	+dh --with ocaml $@
+
 .PHONY: override_dh_auto_configure
 override_dh_auto_configure:
 	./configure $(CONFIGUREOPTS)

-- 
coq packaging