Documentation: set a !DOCTYPE for user manual
commit4ab18264e06aa4ad6d9793519828950234caf15d
authorJonathan Nieder <jrnieder@gmail.com>
Fri, 20 Aug 2010 05:04:02 +0000 (20 00:04 -0500)
committerJunio C Hamano <gitster@pobox.com>
Fri, 20 Aug 2010 17:53:56 +0000 (20 10:53 -0700)
tree71118e6c8772ee5f236beacf820523064aa8b293
parent8bd9fd50014424643bddfde51423d42e0fc60800
Documentation: set a !DOCTYPE for user manual

asciidoc already takes care of including a doctype for most of the
HTML documentation, but the user manual which is processed with
docbook-xsl directly lacks one (at least with Debian docbook-xsl
1.75.2+dfsg-5).  This makes it harder to automatically validate the
HTML.

Reported-by: 積丹尼 <jidanni@jidanni.org>
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/docbook.xsl