From dcbf7f856ba5674500966f1bcc1c7eca16e55459 Mon Sep 17 00:00:00 2001 From: Marko Lindqvist Date: Tue, 10 Oct 2023 01:10:22 +0300 Subject: [PATCH 24/24] Manual: Change settings page heading to "server settings" It was talking about "server options" which contradicts our usual terminology ("server settings" & "client options") See osdn #48743 Signed-off-by: Marko Lindqvist --- tools/civmanual.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/civmanual.c b/tools/civmanual.c index 05c9d70c15..573ca3738a 100644 --- a/tools/civmanual.c +++ b/tools/civmanual.c @@ -330,7 +330,7 @@ static bool manual_command(struct tag_types *tag_info) switch (manuals) { case MANUAL_SETTINGS: /* TRANS: markup ... Freeciv version ... markup */ - fprintf(doc, _("%sFreeciv %s server options%s\n\n"), tag_info->title_begin, + fprintf(doc, _("%sFreeciv %s server settings%s\n\n"), tag_info->title_begin, VERSION_STRING, tag_info->title_end); settings_iterate(SSET_ALL, pset) { char buf[256]; -- 2.42.0