xml2xhtml.xsl: add UTF8 encoding

[Jannick]

As requested below here the patch to include the UTF8 encoding in 
xml2xhtml.xslt. It should avoid garbled display of the right arrow in rules.

Best,
J

From: Akim Demaille <address@hidden> 
Sent: Sunday, October 14, 2018 2:34 PM
Cc: Subscribed <address@hidden>
Subject: Re: [bison] xml2xhtml.xsl: add UTF8 encoding (5a101cd)

Hi!
Thanks a lot for the patch, I will install it.
yes, please, still send the patch to mailto:address@hidden, that's where people 
expect to see what's going on. And we very often use the URL to the archives of 
this list.
Cheers!
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, 
https://github.com/jannick0/bison/commit/5a101cd34177b5895dcd60f474fedeefe9d3cb1a#commitcomment-30894503.

xml2xhtml_UTF8.patch
Description: Binary data