[MPlayer-DOCS] What happened to the encoding of generated HTML docs?

[Diego Biurrun]

On Fri, Oct 27, 2006 at 09:19:55AM +0200, Torinthiel wrote:
> This midnight something weird happened to the encoding of generated HTML
> docs, or to server. Everything was correct yesterday, but today the
> files load with some insane encoding (ISO-8859-1 I thing). The file is
> correct, has proper HTTP-EQUIV field, but both my Opera, and another IE
> I've checked at work, don't recognize it and use wrong encoding,
> resulting in totally wrong file. This happened to at least Polish and
> Russian, Chinese as well, all other use ISO-8859-1 anyway, so are not
> touched by that.

It seems that some mirrors are misconfigured, namely www2, www3 and
www4.

> Also, in Polish translation, I can't see changes made yesterday morning,
> so something happened to the nightly doc generation.

I assume this is also a mirror issue.  Can you confirm the issue on
www1?

Diego