[libxml2] 587867 xmllint --html --xmlout serializing as HTML

[Daniel Veillard <veillard src gnome org>]

commit 9d9626472177ecc1d3aaebf7f523efb55707e62c
Author: Daniel Veillard <veillard redhat com>
Date:   Sun Aug 23 15:31:18 2009 +0200

    587867 xmllint --html --xmlout serializing as HTML
    
    * xmllint.c: one option was needed after the switch to the new save API

 xmllint.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/xmllint.c b/xmllint.c
index d1116af..9b0b89d 100644
--- a/xmllint.c
+++ b/xmllint.c
@@ -2549,6 +2549,8 @@ static void parseAndPrintFile(char *filename, xmlParserCtxtPtr rectxt) {
 
                 if (format)
 		    saveOpts |= XML_SAVE_FORMAT;
+                if (xmlout)
+                    saveOpts |= XML_SAVE_AS_XML;
 
 		if (output == NULL)
 		    ctxt = xmlSaveToFd(1, encoding, saveOpts);