commit | e0dd18fc794ec14de122d46fd59dc0cf7e307008 | [log] [tgz] |
---|---|---|
author | Werner Lemberg <wl@gnu.org> | Fri Mar 24 12:14:48 2006 +0000 |
committer | Werner Lemberg <wl@gnu.org> | Fri Mar 24 12:14:48 2006 +0000 |
tree | c306f2ea48b3b5cd89ef9cb87f2ce20c550003e9 | |
parent | 4db32ecbc5781f191a22e64e35f61e943aa5d09f [diff] |
* src/tools/docmaker/tohtml.py (html_header_1): The `DOCTYPE' comment must be in uppercase.