tree 7364869cc5b92414f07575257d23bd81f7b23ff0
parent a1313a6f8c48cc27b02f65aca6b04e6cd59d939a
author Arnold Hendriks <a.hendriks@b-lex.nl> 1385705532 +0800
committer Daniel Veillard <veillard@redhat.com> 1385705532 +0800

Fix HTML push parser to accept HTML_PARSE_NODEFDTD

For https://bugzilla.gnome.org/show_bug.cgi?id=719515

fixes htmlParseTryOrFinish to interpret HTML_PARSE_NODEFDTD,
and updates xmllint to actually pass --nodefdtd to the push
version of the HTML parser