From e0dd18fc794ec14de122d46fd59dc0cf7e307008 Mon Sep 17 00:00:00 2001 From: Werner Lemberg Date: Fri, 24 Mar 2006 12:14:48 +0000 Subject: [PATCH] * src/tools/docmaker/tohtml.py (html_header_1): The `DOCTYPE' comment must be in uppercase. --- ChangeLog | 1 + src/tools/docmaker/tohtml.py | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index bb7dca9ab..d755a08bf 100644 --- a/ChangeLog +++ b/ChangeLog @@ -4,6 +4,7 @@ * src/tools/docmaker/tohtml.py (html_header_2): Add horizontal padding between table elements. + (html_header_1): The `DOCTYPE' comment must be in uppercase. 2006-03-23 David Turner diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py index bdd5a03df..b10816b42 100644 --- a/src/tools/docmaker/tohtml.py +++ b/src/tools/docmaker/tohtml.py @@ -7,7 +7,7 @@ import time # The following defines the HTML header used by all generated pages. # html_header_1 = """\ -