2008-08-13 Robert Millan <rmh@aybabtu.com>

        * docs/grub.cfg: Remove `/dev/' prefix in GNU/Hurd boot entry.

diff --git a/ChangeLog b/ChangeLog
index 7319e0b7f87c88e22e497f31a6593febd8b173bb..2a7ae8dd30ed0dde598002e8e035c20b066f6ae7 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-08-13  Robert Millan  <rmh@aybabtu.com>
+
+       * docs/grub.cfg: Remove `/dev/' prefix in GNU/Hurd boot entry.
+
 2008-08-13  Robert Millan  <rmh@aybabtu.com>
 
        * docs/grub.cfg: Use the native device name for the example GNU/Hurd

diff --git a/docs/grub.cfg b/docs/grub.cfg
index 3d8e7eca76cc7a1e4a5b4293ae3921959561d95b..7f02727d0c1f9edd7962a1f95e8547fef5f5c395 100644 (file)
--- 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}' \