generate_html: utf-8 texinfo broken

[Colin Macdonald]

Hi,

I'm using utf-8 unicode in my texinfo docs for Symbolic package.  Mostly
works fine within Octave---except on Windows which is
https://savannah.gnu.org/bugs/?43099 which is on the list for 4.0.

However, "get_html_options" from the generate_html pkg is hardcoding a
iso-8859-1 header, so online my unicode renders as garbage.

"makeinfo --html" respects the texinfo tag "@documentencoding UTF-8" so
there is no problem at that level.

Should I patch generate_html pkg?  I could presumably make it check
@documentencoding...

Personally, I feel life it too short to care about non-utf-8: would
hardcoding to utf-8 instead be frowned upon?

Colin

-- 
Colin Macdonald
Associate Professor
Tutorial Fellow at Oriel College
University of Oxford

signature.asc
Description: OpenPGP digital signature