diff -r 20c0ba65ee0b -r 5d45c0945bd3 devtools/htmlparser.py --- 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"""