Added rules to download distribution kernels and update the kerneldb.

diff --git a/Makefile.in b/Makefile.in
index 35582d1..23fccb5 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -88,6 +88,17 @@ distclean: clean
 update-po:
        $(MAKE) -C po all
 
+# Download distribution kernels (warning: takes AGES).
+
+update-kerneldb:
+       cd kernels && \
+         ../extract/fedora-koji/fedora-koji-download-kernels.opt
+
+# Rebuild the generated kernel struct parsers from the kerneldb.
+
+update-kernel-structs:
+       extract/codegen/kerneldb-to-parser.opt kernels lib
+
 # Developer documentation (in html/ subdirectory).
 
 ifneq ($(OCAMLDOC),)