paul@paul-Desktop:/boot$ sudo update-grub
[sudo] password for paul:
Searching for GRUB installation directory ... found: /boot/grub
Searching for default file ... found: /boot/grub/default
Testing for an existing GRUB menu.lst file ... found: /boot/grub/menu.lst
Searching for splash image ... none found, skipping ...
Found kernel: /vmlinuz-3.13.0-34-generic
Found kernel: /vmlinuz-3.13.0-29-generic
Found kernel: /memtest86+.bin
Updating /boot/grub/menu.lst ... done