(main, termio): Add the ability to set the username.

[empserver] / src / client / empire.6

diff --git a/src/client/empire.6 b/src/client/empire.6
index 1c91a8020f5df6bfa14bb17f7e80296dc68cfdfe..7ed06564e8dc80ff052da61f37f28b0bffcff682 100644 (file)
--- a/src/client/empire.6
+++ b/src/client/empire.6
@@ -51,6 +51,8 @@ you should have the right default already.)
 setenv COUNTRY country-name (optional)
 .PP
 setenv PLAYER representative-name (optional)
+.PP
+setenv LOGNAME username (optional)
 .SH AUTHORS
 .nf
 Primary Author is Dave Pare (mr-frog@scam.berkeley.edu)