man/kboot-mkconfig.8
debian/update-kboot.8
