'make dist' builds a separate kerneldb package.

diff --git a/Makefile.in b/Makefile.in
index 47b7187..799da69 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -129,10 +129,19 @@ dist:
        $(INSTALL) -m 0644 config.h.in $(PACKAGE)-$(VERSION)/
        tar zcf $(PACKAGE)-$(VERSION).tar.gz $(PACKAGE)-$(VERSION)
        rm -rf $(PACKAGE)-$(VERSION)
+       mkdir $(PACKAGE)-$(VERSION)
+       mkdir $(PACKAGE)-$(VERSION)/kernels
+       $(INSTALL) -m 0644 kernels/*.data* kernels/*.info \
+         $(PACKAGE)-$(VERSION)/kernels/
+       tar zcf $(PACKAGE)-kerneldb-$(VERSION).tar.gz $(PACKAGE)-$(VERSION)
+       rm -rf $(PACKAGE)-$(VERSION)
        ls -l $(PACKAGE)-$(VERSION).tar.gz
+       ls -l $(PACKAGE)-kerneldb-$(VERSION).tar.gz
 
 check-manifest:
-       hg manifest | sort > .check-manifest; \
+       hg manifest | \
+         grep -Ev 'kernels/.*\.(data|info).*' | \
+         sort > .check-manifest; \
        sort MANIFEST > .orig-manifest; \
        diff -u .orig-manifest .check-manifest; rv=$$?; \
        rm -f .orig-manifest .check-manifest; \