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 = """\ -