From e68504b3c1bff7adff2dc7b6d373420e6c55a0a2 Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Sun, 2 Sep 2007 11:48:36 +0000 Subject: [PATCH] Fix the previous revision. --- man/pconfig.6 | 5 ----- 1 file changed, 5 deletions(-) diff --git a/man/pconfig.6 b/man/pconfig.6 index ad2dab38..759f1477 100644 --- a/man/pconfig.6 +++ b/man/pconfig.6 @@ -17,11 +17,6 @@ program may be used to create an alternate Empire configuration file. After you have created an "econfig" file, you can edit the game configuration data in the file which the server uses to control various parameters for the game. -.B pconfig -program may be used to create an alternate Empire configuration file. -After you have created an "econfig" file, you can edit the game -configuration data in the file which the server uses to control -various parameters for the game. .SH OPERANDS .TP .I configfile