From 21fb7ff35ba9b0a4df83bb3139a3f14e13cd29f9 Mon Sep 17 00:00:00 2001
From: Nicolas George <nicolas.george@normalesup.org>
Date: Sun, 22 Jul 2012 12:29:22 +0200
Subject: [PATCH] doc: declare encoding for texi2html.

It adds the following header to the HTML files:
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
which helps some browsers to display correctly the few non-ASCII
characters in the doc.
---
 doc/t2h.init | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/t2h.init b/doc/t2h.init
index db5536bd88..1eb6658a6b 100644
--- a/doc/t2h.init
+++ b/doc/t2h.init
@@ -158,6 +158,9 @@ $AFTER_BODY_OPEN
 EOT
 }
 
+# declare encoding in header
+$IN_ENCODING = $ENCODING = "utf-8";
+
 # no navigation elements
 $SECTION_NAVIGATION = 0;
 # the same for texi2html 5.0