Don't install CVS files into the devel dir

diff --git a/Makefile b/Makefile
index c622d7aa350d7cf7df0ee426106d1d4e7b5a94af..8f277d140766f114d57a40991fc1acdc7c87cdb7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -237,6 +237,7 @@ install_dev:
        -@for i in `find  $(PREFIX)$(DEVEL_PREFIX) -type d` ; do \
            chmod -f 755 $$i; chmod -f 644 $$i/*.h; \
        done;
+       -find $(PREFIX)$(DEVEL_PREFIX) -name CVS | xargs rm -rf;
        -chown -R `id | sed 's/^uid=\([0-9]*\).*gid=\([0-9]*\).*$$/\1.\2/'` $(PREFIX)$(DEVEL_PREFIX)
 ifeq ($(strip $(HAVE_SHARED)),true)
        find lib/ -type l -name '*.so' -exec cp -a {} $(PREFIX)$(DEVEL_PREFIX)/lib ';'