empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix emp_server manual page synopsis for Windows

Browse source 
The -R option appears in the wrong place.
This commit is contained in:
Ron Koenderink 2008-04-06 14:58:13 -06:00 • committed by Markus Armbruster
parent 41cd0f0fe6
commit 6942ea94dd
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
man/emp_server.6
View file

@ -12,6 +12,9 @@ emp_server \- Empire server
[
.BI \-e " configfile"
]
[
.BI \-R " random-seed"
]
.if \nw \{\
.br
.B emp_server
@ -30,9 +33,6 @@ emp_server \- Empire server
|
.BI \-U " service-name"
]\}
[
.BI \-R " random-seed"
]
.SH DESCRIPTION
.B emp_server
is a daemon which listens to the Empire port for players connecting to