diff options
| author | Werner Lemberg <wl@gnu.org> | 2006-03-24 12:14:48 +0000 |
|---|---|---|
| committer | Werner Lemberg <wl@gnu.org> | 2006-03-24 12:14:48 +0000 |
| commit | e0dd18fc794ec14de122d46fd59dc0cf7e307008 (patch) | |
| tree | c306f2ea48b3b5cd89ef9cb87f2ce20c550003e9 /src/tools | |
| parent | 4db32ecbc5781f191a22e64e35f61e943aa5d09f (diff) | |
* src/tools/docmaker/tohtml.py (html_header_1): The `DOCTYPE' comment must
be in uppercase.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/docmaker/tohtml.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py index bdd5a03d..b10816b4 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 = """\ -<!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> |