Fix the previous revision.

diff --git a/man/pconfig.6 b/man/pconfig.6
index ad2dab3890ac3c055f4dd66cd4c0814099523e0d..759f14778dd6e46b38242222cf40b4acb488a6a0 100644 (file)
--- 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