commit | 826bc320206f70fccd2941a77d363e95e8076898 | [log] [tgz] |
---|---|---|
author | Arnold Hendriks <a.hendriks@b-lex.nl> | Fri Nov 29 14:12:12 2013 +0800 |
committer | Daniel Veillard <veillard@redhat.com> | Fri Nov 29 14:12:12 2013 +0800 |
tree | 7364869cc5b92414f07575257d23bd81f7b23ff0 | |
parent | a1313a6f8c48cc27b02f65aca6b04e6cd59d939a [diff] |
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