summaryrefslogtreecommitdiff
path: root/release
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>1997-07-21 22:45:04 +0000
committerMiles Bader <miles@gnu.org>1997-07-21 22:45:04 +0000
commit0fe565dc60af896456b196754cdd2adc94b325dd (patch)
treea4c1d62a363df442aa28c42e2ef24346f575311e /release
parent5dc9634b5911de291a76cf3e0d85012752d47fbe (diff)
Use /boot/serverboot.gz rather than /boot/serverboot.
Diffstat (limited to 'release')
-rw-r--r--release/bfloppy1.grub2
1 files changed, 1 insertions, 1 deletions
diff --git a/release/bfloppy1.grub b/release/bfloppy1.grub
index 95db9da1..1c7cd56d 100644
--- a/release/bfloppy1.grub
+++ b/release/bfloppy1.grub
@@ -16,7 +16,7 @@ default= 0
title= fd0
root= (fd0)
kernel= /boot/gnumach.gz root=fd0
-module= /boot/serverboot
+module= /boot/serverboot.gz
pause= Insert boot-floppy #2 and hit RETURN...
# Installation steps for GRUB hard disk boot blocks