From 944a1388e88082e3868170bd8ed1acd74f3b1925 Mon Sep 17 00:00:00 2001
From: freesource <freesource>
Date: Tue, 9 Oct 2001 17:28:10 +0000
Subject: [PATCH] Added that devfs=nomount shouldn't be used in the options.

---
 doc/html/index.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/html/index.html b/doc/html/index.html
index 99e3746..3bade66 100644
--- a/doc/html/index.html
+++ b/doc/html/index.html
@@ -399,7 +399,8 @@ box.&nbsp;&nbsp;Have two floppy disks ready.
 7.&nbsp;&nbsp;Download 
 <a href="http://prdownloads.sourceforge.net/gbootroot/root_fs_debian_x11-2.bz2">
 root_fs_debian_x11-2.bz2</a>.&nbsp;&nbsp;Then follow the instructions in the 
-first three steps.&nbsp;&nbsp;This root filesystem was created with 
+first three steps, but don't add devfs=nomount.&nbsp;&nbsp;This root 
+filesystem was created with 
 the make_debian-X11 script from make-debian-x11.&nbsp;&nbsp;This can be 
 downloaded from 
 <a href="http://sourceforge.net/project/showfiles.php?group_id=9513&release_id=56297">