X-Git-Url: http://git.annexia.org/?p=ocaml-ancient.git;a=blobdiff_plain;f=Makefile;fp=Makefile;h=16fd75ad89c4fef43a642432d1232942c8aa7b20;hp=32417dddd198fff7c0d06cc60cfbf47c48f4bf95;hb=72a31f122e523c71e186ee9db189f931d75f3651;hpb=144066156efebcf50b400b338f1c8dc3e180f0d7

diff --git a/Makefile b/Makefile
index 32417dd..16fd75a 100644
--- a/Makefile
+++ b/Makefile
@@ -102,12 +102,7 @@ dist:
 	ls -l $(PACKAGE)-$(VERSION).tar.gz
 
 check-manifest:
-	@for d in `find -type d -name CVS | grep -v '^\./debian/'`; \
-	do \
-	b=`dirname $$d`/; \
-	awk -F/ '$$1 != "D" {print $$2}' $$d/Entries | \
-	sed -e "s|^|$$b|" -e "s|^\./||"; \
-	done | sort > .check-manifest; \
+	git ls-files | sort > .check-manifest; \
 	sort MANIFEST > .orig-manifest; \
 	diff -u .orig-manifest .check-manifest; rv=$$?; \
 	rm -f .orig-manifest .check-manifest; \