Comment 7 for bug 256989

Ben Collins (ben-collins) wrote :

Martin, that sounds like the right solution. If /boot/grub doesn't exist, then no need to update the boot menu.