Also, if update-grub fails to update menu.lst for you (which is *not* what this bug report is about), you can force a full regeneration of menu.lst by sudo mv /boot/grub/menu.lst /boot/grub/menu.lst.safe and then running sudo update-grub. (If you have any customizations to your menu.lst that will be lost by this change, you should add them to the variables /above/ he boot stanzas, as described at <https://wiki.ubuntu.com/KarmicKoala/ReleaseNotes#GRUB%20menu.lst:%20install%20the%20maintainer%27s%20version%20vs.%20keep%20the%20local%20version>.)
Also, if update-grub fails to update menu.lst for you (which is *not* what this bug report is about), you can force a full regeneration of menu.lst by sudo mv /boot/grub/menu.lst /boot/grub/ menu.lst. safe and then running sudo update-grub. (If you have any customizations to your menu.lst that will be lost by this change, you should add them to the variables /above/ he boot stanzas, as described at <https:/ /wiki.ubuntu. com/KarmicKoala /ReleaseNotes# GRUB%20menu. lst:%20install% 20the%20maintai ner%27s% 20version% 20vs.%20keep% 20the%20local% 20version>.)