Searched refs:html_header_1 (Results 1 – 3 of 3) sorted by relevance
26 html_header_1 = """\ variable265 global html_header_1282 html_header_1 + project_title289 html_header_1 + project_title295 html_header_1 + project_title
16 * src/tools/docmaker/tohtml.py (html_header_1): Use `utf-8' charset.347 (html_header_1): The `DOCTYPE' comment must be in uppercase.
4791 * src/tools/docmaker/tohtml.py (html_header_1): Add doctype