Myatu
01-02-2010, 11:46
You use /usr/sbin/update-grub to update the list. But this should already have been done; double check the file /boot/grub/grub.cfg - it should be located between the ### BEGIN /etc/grub.d/10_linux ### comments (don't edit this file manually).