# HG changeset patch # User Oliver Heimlich # Date 1424304277 -3600 # Thu Feb 19 01:04:37 2015 +0100 # Node ID 92f55d5a2830086627a9f6adc2119c798bdcec3b # Parent 1f69b12e08da95875d1340d3a322e7c50d384111 get_html_options.m: Fixed wrong html encoding information The default output of “makeinfo --html” is utf-8. Declaring the html files with iso-8859-1 would be wrong without reencoding. diff -r 1f69b12e08da -r 92f55d5a2830 inst/get_html_options.m --- a/inst/get_html_options.m Thu Jan 22 15:25:45 2015 +0100 +++ b/inst/get_html_options.m Thu Feb 19 01:04:37 2015 +0100 @@ -54,7 +54,7 @@ \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">\n\ \n\ \n\ - \n\ + \n\ \n\ \n\