From 4e7c865a3da13cd66c0eafa850595b2f5c98da9e Mon Sep 17 00:00:00 2001
From: Jens Schweikhardt <schweikh@FreeBSD.org>
Date: Tue, 1 May 2001 10:52:50 +0000
Subject: [PATCH] pseudo-device -> device in kernel config. Approved by:	joerg,
 dd

---
 release/picobsd/doc/src/how2build.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/release/picobsd/doc/src/how2build.html b/release/picobsd/doc/src/how2build.html
index e8da1e268dd..8549c5bdc1f 100644
--- a/release/picobsd/doc/src/how2build.html
+++ b/release/picobsd/doc/src/how2build.html
@@ -110,7 +110,7 @@
 <li>	Make sure that the system you're running has /dev/[r]vn0* entries in
 	/dev directory (if not, you can make them with 'MAKEDEV vn0'), AND
 	that your running kernel has built-in vnode driver (there should be a
-	line in your kernel config file stating 'pseudo-device vn xxx').
+	line in your kernel config file stating 'device vn xxx').
 </li>
 <li>	You'll need at least 9MB of free disk space, and free /mnt directory.
 </li>