ref: e0dd18fc794ec14de122d46fd59dc0cf7e307008
parent: 4db32ecbc5781f191a22e64e35f61e943aa5d09f
author: Werner Lemberg <[email protected]>
date: Fri Mar 24 07:14:48 EST 2006
* src/tools/docmaker/tohtml.py (html_header_1): The `DOCTYPE' comment must be in uppercase.
--- 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 <[email protected]>
--- a/src/tools/docmaker/tohtml.py
+++ b/src/tools/docmaker/tohtml.py
@@ -7,7 +7,7 @@
# 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>