From bfb84cc46a4b42e977b8b5906fff0f88fe9edffd Mon Sep 17 00:00:00 2001
From: cinap_lenrek <cinap_lenrek@gmx.de>
Date: Fri, 22 Jun 2012 23:16:08 +0200
Subject: [PATCH] boot(8): make clear that username can be set from user=
 plan9.ini

---
 sys/man/8/boot | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/sys/man/8/boot b/sys/man/8/boot
index eb995e397..925dab60b 100644
--- a/sys/man/8/boot
+++ b/sys/man/8/boot
@@ -122,7 +122,10 @@ terminal or a CPU server.
 A terminal must have a
 .I username
 set.
-If none is specified with the
+If not specified with the
+.B user=
+.IR plan9.ini (8)
+parameter or the
 .B -u
 option,
 .I boot