]> git.pond.sub.org Git - empserver/commitdiff
Fix emp_server manual page synopsis for Windows
authorRon Koenderink <rkoenderink@yahoo.ca>
Sun, 6 Apr 2008 20:58:13 +0000 (14:58 -0600)
committerMarkus Armbruster <armbru@pond.sub.org>
Mon, 7 Apr 2008 06:30:43 +0000 (08:30 +0200)
The -R option appears in the wrong place.

man/emp_server.6

index aa023ca923b6f8ad63be54f8ec156362cd729d66..d7b387b994e552db4834eb3153fea96975ca9d70 100644 (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