From 23208d03457d890944e5827feec2cabd0dd281a0 Mon Sep 17 00:00:00 2001 From: Marko Lindqvist Date: Tue, 12 Apr 2022 01:51:03 +0300 Subject: [PATCH 31/31] freeciv man page: Remove duplicate "the the" See osdn #44331 Signed-off-by: Marko Lindqvist --- doc/man/freeciv.6.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/man/freeciv.6.in b/doc/man/freeciv.6.in index 2ad9ffc080..5f72e418e3 100644 --- a/doc/man/freeciv.6.in +++ b/doc/man/freeciv.6.in @@ -58,7 +58,7 @@ The Freeciv game offers many ways to tweak how games are set up, and to create completely different looks and game play. When starting the Freeciv server, you can adjust many parameters of the game map, rules, and models which drive the game. -You can set the the number and difficulty level of the AI players. +You can set the number and difficulty level of the AI players. You can set the size of the map and the kind of terrain. You can also choose among various rule sets and scenarios, which can lead to very different kinds of games. -- 2.35.1