The following commit has been merged in the master branch:
commit 42003df9297f97d119bb98b11052192adebf5fed
Author: Stephane Glondu <st...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to