Man Pages in ketchup

Section 1: Executable programs or shell commands

ketchup.1

Utility to update the kernel source