* src/tools/docmaker/tohtml.py (html_header_1): The `DOCTYPE' comment must

19 years ago · e0dd18fc79
parent 4db32ecbc5
commit e0dd18fc79
2 changed files with 2 additions and 1 deletions
--- a/1
+++ b/1
@ -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 <david@freetype.org>

--- 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 = """\
-<!doctype html public "-//W3C//DTD HTML 4.01 Transitional//EN"
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
 <head>