diff options
author | Miles Bader <miles@gnu.org> | 1997-07-09 20:23:14 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1997-07-09 20:23:14 +0000 |
commit | b01f8c26d81439aa6b0b1dd559dc125a53b58f5d (patch) | |
tree | b92581d7cd10093806c921ab0d9229334be6269c | |
parent | 8b63f1cbfa4782d2aeebbc9a44f6a303fc8dceb9 (diff) |
(fd0):
Use /boot/serverboot uncompressed.
-rw-r--r-- | release/bfloppy1.grub | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/release/bfloppy1.grub b/release/bfloppy1.grub index 4036dd5a..95db9da1 100644 --- a/release/bfloppy1.grub +++ b/release/bfloppy1.grub @@ -16,8 +16,8 @@ default= 0 title= fd0 root= (fd0) kernel= /boot/gnumach.gz root=fd0 -module= /boot/serverboot.gz -pause=Insert boot-floppy #2 and hit RETURN... +module= /boot/serverboot +pause= Insert boot-floppy #2 and hit RETURN... # Installation steps for GRUB hard disk boot blocks # Entry 4: @@ -27,4 +27,3 @@ install= (fd0)+1 (hd0) (hd0,a)/boot/grub/stage2 0x8000 p # Entry 5: title= Reinstall grub from hard disk to itself install= (hd0)/boot/grub/stage1 (hd0) (hd0,a)/boot/grub/stage2 0x8000 p - |