27 Nov
2009
27 Nov
'09
11:14 a.m.
Setting chunker.output.encoding to US-ASCII might fix this. I'll try it later.
OK, I've changed html.xsl to do that. I'm not sure if it's a good idea, we'll see how it goes.
That gets it, thanks! Of course changes only come into effect once the docs are regenerated and checked in... John.