From 0fe565dc60af896456b196754cdd2adc94b325dd Mon Sep 17 00:00:00 2001
From: Miles Bader <miles@gnu.org>
Date: Mon, 21 Jul 1997 22:45:04 +0000
Subject: Use /boot/serverboot.gz rather than /boot/serverboot.

---
 release/bfloppy1.grub | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'release')

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
-- 
cgit v1.2.3