* Pierre HANSER wrote:
>I've a small problem with the warning tidy gives on improper doctypes:
>
>my document begins with:
>
> <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN">
> TOOLS/index.html: Doctype given is "-//W3C//DTD HTML 4.01 Transitional//EN"
This is a known bug and currently tracked in our bug database. We are on
it :-)
Thanks for your report.