1 --- docs/grub.cfg.orig 2013-11-10 19:25:04.959888566 +0000
2 +++ docs/grub.cfg 2013-11-10 19:25:10.260104712 +0000
4 # For booting GNU/Linux
5 menuentry "GNU/Linux" --id gnulinux {
7 - linux /vmlinuz root=/dev/sda1
9 + linux /boot/vmlinuz root=/dev/sda1
13 # For booting GNU/Hurd