devtools/htmlparser.py
branch3.5
changeset 3151 5d45c0945bd3
parent 1977 606923dff11b
child 3163 edfe43ceaa35
child 3325 44caeccd2db9
--- a/devtools/htmlparser.py	Wed Sep 09 17:51:30 2009 +0200
+++ b/devtools/htmlparser.py	Wed Sep 09 17:57:46 2009 +0200
@@ -36,7 +36,11 @@
 class DTDValidator(Validator):
     def __init__(self):
         Validator.__init__(self)
-        self.parser = etree.XMLParser(dtd_validation=True)
+        # XXX understand what's happening under windows
+        validate = True
+        if sys.platform == 'win32':
+            validate = False
+        self.parser = etree.XMLParser(dtd_validation=validate)
 
     def preprocess_data(self, data):
         """used to fix potential blockquote mess generated by docutils"""