From 91cc53f473b3f1137aa0dfc997152a84fe17eb53 Mon Sep 17 00:00:00 2001 From: Marko Lindqvist Date: Tue, 10 Oct 2023 01:07:02 +0300 Subject: [PATCH 37/37] 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/manual/manual_settings.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/manual/manual_settings.c b/tools/manual/manual_settings.c index a82455c36c..4a55d5f709 100644 --- a/tools/manual/manual_settings.c +++ b/tools/manual/manual_settings.c @@ -47,7 +47,7 @@ bool manual_settings(struct tag_types *tag_info) dummy_conn.access_level = ALLOW_CTRL; /* 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