[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/1%8.2-1.2-6-6-gbd9137b

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 42003df9297f97d119bb98b11052192adebf5fed
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Feb 11 18:25:09 2011 +0100

    Ignore .pc when scanning for .v files...

diff --git a/debian/rules b/debian/rules
index ea9f1e8..debe960 100755
--- a/debian/rules
+++ b/debian/rules
@@ -21,7 +21,7 @@ override_dh_auto_configure:
 	for u in $(FILES_TO_BACKUP); do \
 	  if [ ! -f "$$u.backup" ]; then cp "$$u" "$$u.backup"; fi \
 	done
-	coq_makefile $(INCDIRS) $(shell find . -name \*.v) > Makefile
+	coq_makefile $(INCDIRS) $(shell find . -name .pc -prune -or -name \*.v -print ) > Makefile
 
 .PHONY: override_dh_auto_build
 override_dh_auto_build:

-- 
coq-float packaging