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 <!-- header_tag --> to pages without DOCTYPE tags
(primarily those not generated by texi2html).

This fixes IE 7 and 8 for the new website and the documentation.

diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py
index c26d7473e2efb8c3274e2299238c0686c571b95d..4e41b09803b2200d8b22492f168b96c10990dacb 100644 (file)
--- 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) * '../'