[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Tasks pages seem to choke on UTF-8 non ascii characters

On Wed, 13 Aug 2008, Frederic Lehobey wrote:

 This patch from Sylvestre corrects the fact that the automagically
generated tasks files seem to choke on UTF-8 characters. Namely, in
this case it was on
for isabelle with the error 'DEBUG: Element pkgLongDesc of Isabelle
has Unicode problems'

 I do no know precisely whether the problem comes from the source
file (its encoding) or from the machinery. Just see this message as a
warning that something might be wrong.

I take it as bug report and try to fix this soon.  I admit that 75%
of all problems of the tasks pages are caused by encoding problems. :-((
Hope to get this settled at some time.

Thanks for reporting this



Reply to: