freeciv-manual: Remove ruleset name from server options page

• 回報者: cazfi
• 負責人: cazfi
• 類型: 修補檔案
• 狀態: 關閉
• 元件: General
• 里程碑: 3.0.6 (closed)
• 優先權: 5 - 中
• 嚴重程度: 5 - 中
• 處理結果: 修正
• 檔案: 2

細節

As server options do not depend on ruleset, generated manual pages should not include name of the ruleset. Current https://www.freeciv.org/wiki/ arrangement is to have the server options page just once, not separately for each ruleset.

Ticket History (3/5 Histories)

2022-12-29 14:09 Updated by: cazfi

• New Ticket "freeciv-manual: Remove ruleset name from server options page" created

2022-12-30 09:47 Updated by: cazfi

• File 0035-freeciv-manual-Remove-ruleset-name-from-server-optio.patch (File ID: 11233) is attached

2022-12-30 09:48 Updated by: cazfi

• File 0020-freeciv-manual-Remove-ruleset-name-from-server-optio.patch (File ID: 11234) is attached

2022-12-30 09:48 Updated by: cazfi

• 負責人 Update from (無) to cazfi
• 處理結果 Update from 無 to Accepted

2023-01-03 12:20 Updated by: cazfi

• 狀態 Update from 開啟 to 關閉
• 處理結果 Update from Accepted to 修正