[xml] HTML parser whitespace bug

[Michael Day <mikeday yeslogic com>]

Hi,

The HTML parser incorrectly throws away whitespace inside <pre> 
elements, so that the following input:

<pre>x<br/>   <span>try</span></pre>

is collapsed to this:

<pre>x<br/><span>try</span></pre>

This can be verified with xmllint --html. Similar problems have been 
observed in the past with whitespace between adjacent <img> elements, 
which can also result in incorrect output.

Best regards,

Michael

--
Print XML with Prince!
http://www.princexml.com