From 15c61fb7124766b1ec46cc3c98f2502fc602e092 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Fri, 26 Feb 2021 07:35:21 +0100
Subject: [PATCH] html: fix memory leak

* src/print-xml.c (print_html): Free allocated memory.
---
 src/print-xml.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/print-xml.c b/src/print-xml.c
index e9fb25c7..78801dbc 100644
--- a/src/print-xml.c
+++ b/src/print-xml.c
@@ -543,10 +543,10 @@ print_html (void)
   assert (xml_flag);
 
   char *xml2html = xpath_join (pkgdatadir (), "xslt/xml2xhtml.xsl");
-
+  char *xsltproc = muscle_percent_define_get ("tool.xsltproc");
   char const *argv[11];
   int i = 0;
-  argv[i++] = muscle_percent_define_get ("tool.xsltproc");
+  argv[i++] = xsltproc;
   argv[i++] = "-o";
   argv[i++] = spec_html_file;
   argv[i++] = xml2html;
@@ -572,5 +572,6 @@ print_html (void)
                /* termsigp */ NULL);
   if (status)
     complain (NULL, complaint, _("%s failed with status %d"), argv[0], status);
+  free (xsltproc);
   free (xml2html);
 }