27 May
2010
27 May
'10
11:32 a.m.
luigi scarso
Weird. This machine is 32-bit linux, btw.
Hm again ttf vs TTF ?
bingo. Thomas can you try to rename *TTF in *ttf ?
Yes, that solved it for me too! Taco, what can we do about that? AFAICS, unfortunately, the gentium fonts do come with the TTF extension. Should we rename them or trust that Hans will cook up a solution? Thanks for looking into this! Thomas