[tei-council] Jenkins builder script now working

[Sebastian Rahtz]

On 14 Jun 2012, at 01:08, Martin Holmes wrote:

> 
> Good tip, and very revealing: it shows the following font families:
> 
> DejaVu (free)
> Kochi-mincho (free)
> Hannom (free)
> Junicode (free)
> UMingCN (free)
> 
> and
> 
> Times New Roman (NOT free)
> 

changing the main body font of the Guidelines is something that should perhaps not be undertaken
lightly. what do people suggest we use instead?

I am of course suspicious of the open source gnu-ish alternative fonts, as they often
seem to be designed by computer scientists who think xkcd and michelangelo
are more or less the same quality. But hey, whatever makes folks happy :-}

Linux Libertine seems to be the obvious alternative
--
Sebastian Rahtz      
Head of Information and Support Group
Oxford University Computing Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431

Sólo le pido a Dios
que el futuro no me sea indiferente