Fix check-manifest and add a MANIFEST file

diff --git a/MANIFEST b/MANIFEST
new file mode 100644 (file)
index 0000000..e7740e4
--- /dev/null
+++ b/MANIFEST
@@ -0,0 +1,16 @@
+aclocal.m4
+configure.ac
+.depend
+.hgignore
+install-sh
+Makefile.in
+MANIFEST
+po/.cvsignore
+po/LINGUAS
+po/Makefile.in
+po/POTFILES
+po/virt-mem.pot
+virt_mem.ml
+virt_mem_mmap.ml
+virt_mem_mmap.mli
+virt_mem_utils.ml

diff --git a/Makefile.in b/Makefile.in
index df5123b..dd8374c 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -86,24 +86,12 @@ 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; \
+       hg manifest | sort > .check-manifest; \
        sort MANIFEST > .orig-manifest; \
        diff -u .orig-manifest .check-manifest; rv=$$?; \
        rm -f .orig-manifest .check-manifest; \
        exit $$rv
 
-#check-manifest:
-#      hg manifest | sort > .check-manifest; \
-#      sort MANIFEST > .orig-manifest; \
-#      diff -u .orig-manifest .check-manifest; rv=$$?; \
-#      rm -f .orig-manifest .check-manifest; \
-#      exit $$rv
-
 # Developer documentation (in html/ subdirectory).
 
 doc: