Doxygen: Avoid output files differing only by case in output

• Relator: cazfi
• Dono: cazfi
• Tipo: Patches
• Estado: Fechado
• Componente: Documentation
• Marcos: 3.1.0 (fechado)
• Prioridade: 5 - Medium
• Gravidade: 5 - Medium
• Resolução: Fixed
• Arquivo: 1

Details Responder

Reported by elefant: https://forum.freeciv.org/f/viewtopic.php?p=106251#p106251

Maybe going from single flat directory to a directory hierarchy with subdirectories would at least mitigate the problem by making it less likely that the problematic files appear in the *same* directory.

Ticket History (3/4 Histories)

2022-09-27 12:44 Updated by: cazfi

• New Ticket "Doxygen: Avoid output files differing only by case in output" created

2022-09-30 08:05 Updated by: cazfi

• File 0024-Doxygen-Place-output-on-multiple-subdirectories.patch (File ID: 10421) is attached

2022-09-30 08:05 Updated by: cazfi

• Dono Update from (Nenhum) to cazfi
• Resolução Update from Nenhum to Accepted
• Marco Update from (Nenhum) to 3.1.0 (fechado)

2022-10-03 15:00 Updated by: cazfi

• Estado Update from Aberto to Fechado
• Resolução Update from Accepted to Fixed