From 7161f0e02b93043f98063d6d4185379888b70bd5 Mon Sep 17 00:00:00 2001 From: robertmh Date: Wed, 13 Aug 2008 16:59:12 +0000 Subject: [PATCH] 2008-08-13 Robert Millan * docs/grub.cfg: Remove `/dev/' prefix in GNU/Hurd boot entry. --- ChangeLog | 4 ++++ docs/grub.cfg | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 7319e0b7f..2a7ae8dd3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2008-08-13 Robert Millan + + * docs/grub.cfg: Remove `/dev/' prefix in GNU/Hurd boot entry. + 2008-08-13 Robert Millan * docs/grub.cfg: Use the native device name for the example GNU/Hurd diff --git a/docs/grub.cfg b/docs/grub.cfg index 3d8e7eca7..7f02727d0 100644 --- a/docs/grub.cfg +++ b/docs/grub.cfg @@ -14,7 +14,7 @@ set fallback=1 # For booting GNU/Hurd menuentry "GNU (aka GNU/Hurd)" { set root=(hd0,1) - multiboot /boot/gnumach.gz root=device:/dev/hd0s1 + multiboot /boot/gnumach.gz root=device:hd0s1 module /hurd/ext2fs.static --readonly \ --multiboot-command-line='${kernel-command-line}' \ --host-priv-port='${host-port}' \