From 9d9626472177ecc1d3aaebf7f523efb55707e62c Mon Sep 17 00:00:00 2001
From: Daniel Veillard <veillard@redhat.com>
Date: Sun, 23 Aug 2009 15:31:18 +0200
Subject: [PATCH] 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 file changed, 2 insertions(+)

diff --git a/xmllint.c b/xmllint.c
index d1116afc..9b0b89d0 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);