Subject: Re: user-manual.html invalid HTML

From: [email-masked]
Date: Fri, 12 Dec 2008 10:47:27 +0800

>>>>> "JK" == Jeff King <[email-masked]> writes:

JK> On Fri, Dec 12, 2008 at 04:32:15AM +0800, [email-masked] wrote:
>> Please see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=507476
>> Which it turns out didn't get forwarded to [email-masked] after all. 

JK> The versions I build locally have:

JK> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
JK>     "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">

JK> in each HTML file, which is added by asciidoc.  Maybe the package you
JK> are looking at was built with an older version of asciidoc that doesn't
JK> do this (I don't actually know the history of this feature, but it seems
JK> to me that this is something asciidoc should be doing, not git).

JK> -Peff

OK, adding [email-masked] to the CCs.