From f514c77d064a83f8cf1cba72424716e4d96a6096 Mon Sep 17 00:00:00 2001 From: Marko Lindqvist Date: Fri, 30 Dec 2022 02:43:29 +0200 Subject: [PATCH 35/35] freeciv-manual: Remove ruleset name from server options page That page is ruleset-agnostic, and we don't want to upload it separately for each ruleset. See osdn #46381 Signed-off-by: Marko Lindqvist --- tools/civmanual.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/civmanual.c b/tools/civmanual.c index 934264ed2e..e988d011b4 100644 --- a/tools/civmanual.c +++ b/tools/civmanual.c @@ -322,9 +322,9 @@ static bool manual_command(struct tag_types *tag_info) switch (manuals) { case MANUAL_SETTINGS: - /* TRANS: markup ... Freeciv version ... ruleset name ... markup */ - fprintf(doc, _("%sFreeciv %s server options (%s)%s\n\n"), tag_info->title_begin, - VERSION_STRING, game.control.name, tag_info->title_end); + /* TRANS: markup ... Freeciv version ... markup */ + fprintf(doc, _("%sFreeciv %s server options%s\n\n"), tag_info->title_begin, + VERSION_STRING, tag_info->title_end); settings_iterate(SSET_ALL, pset) { char buf[256]; const char *sethelp; -- 2.39.0