On Tue, Aug 22, 2017 at 06:07:14PM +0200, Mathieu Lirzin wrote:
> Index: tp/Texinfo/Convert/HTML.pm
> ===================================================================
> --- tp/Texinfo/Convert/HTML.pm (revision 7934)
> +++ tp/Texinfo/Convert/HTML.pm (working copy)
> @@ -6330,11 +6330,11 @@
> <head>
> <title>$title</title>
>
> +$encoding
> $description
> <meta name=\"keywords\" content=\"$title\">
> <meta name=\"resource-type\" content=\"document\">
> <meta name=\"distribution\" content=\"global\">${generator}$date
> -$encoding
> ${links}$css_lines
> $extra_head
> </head>
I'd suggest moving it yet upper, next to <head>.
