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),)