freeciv-manual: Remove ruleset name from server options page

• Auswertung: cazfi
• Verantwortlicher: cazfi
• Typ: Patches
• Status: Geschlossen
• Komponente: General
• Meilenstein: 3.0.6 (closed)
• Priorität: 5 - Mittel
• Schweregrad: 5 - Mittel
• Lösung: Gefixt
• Datei: 2

Details

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-Verlauf (3/5 Historien)

2022-12-29 14:09 Aktualisiert von: cazfi

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

2022-12-30 09:47 Aktualisiert von: cazfi

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

2022-12-30 09:48 Aktualisiert von: cazfi

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

2022-12-30 09:48 Aktualisiert von: cazfi

• Verantwortlicher Update from (Keine) to cazfi
• Lösung Update from Keine to Accepted

2023-01-03 12:20 Aktualisiert von: cazfi

• Status Update from Offen to Geschlossen
• Lösung Update from Accepted to Gefixt