From 0baad2e97267b0d45199283a0f750216c835a667 Mon Sep 17 00:00:00 2001 From: Patrick McCarty Date: Sun, 23 Aug 2009 00:34:29 -0700 Subject: [PATCH] Web and doc build: fix IE rendering If *any* markup is found before the DOCTYPE tag, all versions of IE will fall into a type of severe "quirks" mode. It's not pretty. Thus, we will only add to pages without DOCTYPE tags (primarily those not generated by texi2html). This fixes IE 7 and 8 for the new website and the documentation. --- python/auxiliar/postprocess_html.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py index c26d7473e2..4e41b09803 100644 --- a/python/auxiliar/postprocess_html.py +++ b/python/auxiliar/postprocess_html.py @@ -160,10 +160,8 @@ def add_header (s, prefix): if not n: s = header + s - s = header_tag + '\n' + s - if doctype_re.search (s) == None: - s = doctype + s + s = doctype + header_tag + '\n' + s if css_re.search (s) == None: depth = (prefix.count ('/') - 1) * '../' -- 2.39.5